Search Sciweavers | Sciweavers

8828 search results - page 150 / 1766

» Formal methods in practice

click to vote

FORMATS
2005
Springer

82views Formal Methods» more FORMATS 2005»

Timed Abstract Non-interference

15 years 10 months ago

Download profs.sci.univr.it

Roberto Giacobazzi, Isabella Mastroeni

claim paper

Read More »

118

click to vote

IFL
2005
Springer

94views Formal Methods» more IFL 2005»

A Rational Deconstruction of Landin's J Operator

15 years 10 months ago

Download www.daimi.au.dk

Olivier Danvy, Kevin Millikin

claim paper

Read More »

100

click to vote

SFM
2005
Springer

88views Formal Methods» more SFM 2005»

Mobile Distributed Programming in X-Klaim

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers