Search Sciweavers | Sciweavers

1799 search results - page 9 / 360

» The Logic of Correctness in Software Engineering

click to vote

EUROMICRO
2000
IEEE

77views Software Engineering» more EUROMICRO 2000»

Logic Representation of Programs to Detect Arithmetic Anomalies

13 years 11 months ago

Download adt.et.upb.de

Fevzi Belli, Thomas Illgen

claim paper

Read More »

click to vote

AADEBUG
2000
Springer

85views Software Engineering» more AADEBUG 2000»

Slicing of Constraint Logic Programs

13 years 11 months ago

Download www.ep.liu.se

Gyöngyi Szilágyi, Tibor Gyimóth...

claim paper

Read More »

click to vote

FOSSACS
1999
Springer

80views Software Engineering» more FOSSACS 1999»

Testing Hennessy-Milner Logic with Recursion

13 years 11 months ago

Download www.brics.dk

Luca Aceto, Anna Ingólfsdóttir

claim paper

Read More »

click to vote

WADT
1999
Springer

103views Software Engineering» more WADT 1999»

Higher-Order Logic and Theorem Proving for Structured Specifications

13 years 11 months ago

Download delta.math.univ.gda.pl

Tomasz Borzyszkowski

claim paper

Read More »

click to vote

AMAST
1998
Springer

79views Software Engineering» more AMAST 1998»

Observational Logic

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers