Search Sciweavers | Sciweavers

4340 search results - page 75 / 868

» Formal Methods and Cryptography

110

Voted

FM
1999
Springer

114views Formal Methods» more FM 1999»

Bunches for Object-Oriented, Concurrent, and Real-Time Specification

15 years 8 months ago

Download www.cs.toronto.edu

Richard F. Paige, Eric C. R. Hehner

claim paper

Read More »

101

Voted

IFL
1999
Springer

97views Formal Methods» more IFL 1999»

Haskell-Coloured Petri Nets

15 years 8 months ago

Download www.isp.uni-luebeck.de

d abstract) Claus Reinke

Claus Reinke

claim paper

Read More »

102

click to vote

IFL
1999
Springer

82views Formal Methods» more IFL 1999»

Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell

15 years 8 months ago

Download www.haskell.org

Simon L. Peyton Jones, Simon Marlow, Conal Elliott

claim paper

Read More »

111

Voted

SAS
1999
Springer

113views Formal Methods» more SAS 1999»

Model-Checking: A Tutorial Introduction

15 years 7 months ago

Download fmt.isti.cnr.it

Markus Müller-Olm, David A. Schmidt, Bernhard...

claim paper

Read More »

Voted

AFP
1998
Springer

98views Formal Methods» more AFP 1998»

Designing and Implementing Combinator Languages

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers