Search Sciweavers | Sciweavers

4340 search results - page 105 / 868

» Formal Methods and Cryptography

113

click to vote

IFL
2005
Springer

94views Formal Methods» more IFL 2005»

A Rational Deconstruction of Landin's J Operator

15 years 9 months ago

Download www.daimi.au.dk

Olivier Danvy, Kevin Millikin

claim paper

Read More »

click to vote

SFM
2005
Springer

88views Formal Methods» more SFM 2005»

Mobile Distributed Programming in X-Klaim

15 years 9 months ago

Download www.sti.uniurb.it

Lorenzo Bettini, Rocco De Nicola

claim paper

Read More »

click to vote

SFM
2005
Springer

78views Formal Methods» more SFM 2005»

Network Swapping

15 years 9 months ago

Download www.sti.uniurb.it

Emanuele Lattanzi, Andrea Acquaviva, Alessandro Bo...

claim paper

Read More »

click to vote

FM
2005
Springer

102views Formal Methods» more FM 2005»

Symbolic Animation of JML Specifications

15 years 9 months ago

Download geccoo.lri.fr

Fabrice Bouquet, Frédéric Dadeau, Br...

claim paper

Read More »

104

click to vote

FMCO
2005
Springer

88views Formal Methods» more FMCO 2005»

Modular Specification of Encapsulated Object-Oriented Components

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers