Search Sciweavers | Sciweavers

1799 search results - page 7 / 360

» The Logic of Correctness in Software Engineering

click to vote

VSTTE
2005
Springer

113views Software Engineering» more VSTTE 2005»

Meta-Logical Frameworks and Formal Digital Libraries

14 years 26 days ago

Download vstte.ethz.ch

Carsten Schürmann

claim paper

Read More »

click to vote

AMAST
2004
Springer

102views Software Engineering» more AMAST 2004»

Extending Separation Logic with Fixpoints and Postponed Substitution

14 years 24 days ago

Download www.di.ens.fr

Élodie-Jane Sims

claim paper

Read More »

click to vote

EWSPT
2003
Springer

102views Software Engineering» more EWSPT 2003»

Flexible Static Semantic Checking Using First-Order Logic

14 years 18 days ago

Download laser.cs.umass.edu

Shimon Rura, Barbara Staudt Lerner

claim paper

Read More »

click to vote

FASE
2003
Springer

116views Software Engineering» more FASE 2003»

A Logical Basis for the Specification of Reconfigurable Component-Based Systems

14 years 18 days ago

Download d3s.mff.cuni.cz

Nazareno Aguirre, T. S. E. Maibaum

claim paper

Read More »

click to vote

FASE
2003
Springer

273views Software Engineering» more FASE 2003»

Monad-Independent Hoare Logic in HASCASL

14 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers