Search Sciweavers | Sciweavers

45 search results - page 2 / 9

» fac 2006

Voted

FAC
1998

64views more FAC 1998»

Formalization of Time and Space

14 years 11 months ago

Download www.eecs.ucf.edu

Eric C. R. Hehner

claim paper

Read More »

Voted

FAC
1998

80views more FAC 1998»

Partiality and Nondeterminacy in Program Proofs

14 years 11 months ago

Download www.computing.dcu.ie

Joseph M. Morris, Alexander Bunkenburg

claim paper

Read More »

click to vote

FAC
1998

99views more FAC 1998»

Heterogeneous Notations for Pure Formal Method Integration

14 years 11 months ago

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

Richard F. Paige

claim paper

Read More »

click to vote

FAC
2010

68views more FAC 2010»

A lazy approach to symmetry reduction

14 years 10 months ago

Download www.comlab.ox.ac.uk

Thomas Wahl, Vijay D'Silva

claim paper

Read More »

click to vote

FAC
2006

72views more FAC 2006»

A Calculus and logic of resources and processes

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers