Sciweavers

5255 search results - page 31 / 1051

» Formal Methods for Privacy

15

FM
1999
Springer

99views Formal Methods» more FM 1999»

Logspace Reducibility via Abstract State Machines

13 years 12 months ago

Logspace Reducibility via Abstract State Machines

Download www.eecs.umich.edu

Erich Grädel, Marc Spielmann

claim paper

Read More »

20

FM
1999
Springer

101views Formal Methods» more FM 1999»

Systems Development Using Z Generics

13 years 12 months ago

Systems Development Using Z Generics

Download www-users.cs.york.ac.uk

Fiona Polack, Susan Stepney

claim paper

Read More »

23

FM
1999
Springer

113views Formal Methods» more FM 1999»

Data Abstraction for CSP-OZ

13 years 12 months ago

Data Abstraction for CSP-OZ

Download www.cs.uni-paderborn.de

Heike Wehrheim

claim paper

Read More »

16

IFL
1999
Springer

100views Formal Methods» more IFL 1999»

Type-Inference Based Short Cut Deforestation (Nearly) without Inlining

13 years 12 months ago

Type-Inference Based Short Cut Deforestation (Nearly) without Inlining

Download www.cs.kent.ac.uk

Olaf Chitil

claim paper

Read More »

17

FMSP
1998
ACM

78views Formal Methods» more FMSP 1998»

Designing executable abstractions

13 years 12 months ago

Designing executable abstractions

Download spinroot.com

Gerard J. Holzmann

claim paper

Read More »

« Prev « First page 31 / 1051 Last » Next »