Search Sciweavers | Sciweavers

4340 search results - page 90 / 868

» Formal Methods and Cryptography

154

click to vote

SAS
1999
Springer

107views Formal Methods» more SAS 1999»

Abstract Interpretation of Mobile Ambients

15 years 10 months ago

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

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

claim paper

Read More »

116

click to vote

AFP
1998
Springer

98views Formal Methods» more AFP 1998»

Generic Programming: An Introduction

15 years 10 months ago

Download www.itee.uq.edu.au

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

claim paper

Read More »

176

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 10 months ago

Download www-verimag.imag.fr

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

claim paper

Read More »

145

click to vote

SAS
1994
Springer

77views Formal Methods» more SAS 1994»

Estimating the Computational Cost of Logic Programs

15 years 10 months ago

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

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

claim paper

Read More »

171

click to vote

LARCH
1992

133views Formal Methods» more LARCH 1992»

Using Transformations and Verification in Circuit Design

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers