Search Sciweavers | Sciweavers

1799 search results - page 7 / 360

» The Logic of Correctness in Software Engineering

135

click to vote

VSTTE
2005
Springer

113views Software Engineering» more VSTTE 2005»

Meta-Logical Frameworks and Formal Digital Libraries

15 years 11 months ago

Download vstte.ethz.ch

Carsten Schürmann

claim paper

Read More »

121

click to vote

AMAST
2004
Springer

102views Software Engineering» more AMAST 2004»

Extending Separation Logic with Fixpoints and Postponed Substitution

15 years 11 months ago

Download www.di.ens.fr

Élodie-Jane Sims

claim paper

Read More »

161

click to vote

EWSPT
2003
Springer

102views Software Engineering» more EWSPT 2003»

Flexible Static Semantic Checking Using First-Order Logic

15 years 10 months ago

Download laser.cs.umass.edu

Shimon Rura, Barbara Staudt Lerner

claim paper

Read More »

157

click to vote

FASE
2003
Springer

116views Software Engineering» more FASE 2003»

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

15 years 10 months ago

Download d3s.mff.cuni.cz

Nazareno Aguirre, T. S. E. Maibaum

claim paper

Read More »

171

Voted

FASE
2003
Springer

273views Software Engineering» more FASE 2003»

Monad-Independent Hoare Logic in HASCASL

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers