Search Sciweavers | Sciweavers

4340 search results - page 90 / 868

» Formal Methods and Cryptography

127

click to vote

SAS
1999
Springer

107views Formal Methods» more SAS 1999»

Abstract Interpretation of Mobile Ambients

15 years 8 months ago

Download www-i2.informatik.rwth-aachen.de

René Rydhof Hansen, Jacob Grydholt Jensen, ...

claim paper

Read More »

Voted

AFP
1998
Springer

98views Formal Methods» more AFP 1998»

Generic Programming: An Introduction

15 years 8 months ago

Download www.itee.uq.edu.au

Roland Carl Backhouse, Patrik Jansson, Johan Jeuri...

claim paper

Read More »

145

click to vote

FTRTFT
1998
Springer

123views Formal Methods» more FTRTFT 1998»

KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)

15 years 8 months ago

Download www-verimag.imag.fr

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Ol...

claim paper

Read More »

112

click to vote

SAS
1994
Springer

77views Formal Methods» more SAS 1994»

Estimating the Computational Cost of Logic Programs

15 years 7 months ago

Download www.clip.dia.fi.upm.es

Saumya K. Debray, Pedro López-García...

claim paper

Read More »

136

Voted

LARCH
1992

133views Formal Methods» more LARCH 1992»

Using Transformations and Verification in Circuit Design

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers