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

15 years 6 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

15 years 6 months ago

Download www.ep.liu.se

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

claim paper

Read More »

Voted

FOSSACS
1999
Springer

80views Software Engineering» more FOSSACS 1999»

Testing Hennessy-Milner Logic with Recursion

15 years 6 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

15 years 6 months ago

Download delta.math.univ.gda.pl

Tomasz Borzyszkowski

claim paper

Read More »

Voted

AMAST
1998
Springer

79views Software Engineering» more AMAST 1998»

Observational Logic

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers