Sciweavers

15794 search results - page 147 / 3159

» Agent-Oriented Software Engineering

97

VSTTE
2005
Springer

109views Software Engineering» more VSTTE 2005»

Dependent Types, Theorem Proving, and Applications for a Verifying Compiler

15 years 9 months ago

Dependent Types, Theorem Proving, and Applications for a Verifying Compiler

Download vstte.ethz.ch

Yves Bertot, Laurent Théry

claim paper

Read More »

80

VSTTE
2005
Springer

80views Software Engineering» more VSTTE 2005»

Verify Your Runs

15 years 9 months ago

Verify Your Runs

Download vstte.ethz.ch

Klaus Havelund, Allen Goldberg

claim paper

Read More »

109

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

15 years 9 months ago

Computational Logical Frameworks and Generic Program Analysis Technologies

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

120

VSTTE
2005
Springer

113views Software Engineering» more VSTTE 2005»

Meta-Logical Frameworks and Formal Digital Libraries

15 years 9 months ago

Meta-Logical Frameworks and Formal Digital Libraries

Download vstte.ethz.ch

Carsten Schürmann

claim paper

Read More »

94

VSTTE
2005
Springer

92views Software Engineering» more VSTTE 2005»

Constraint Solving and Symbolic Execution

15 years 9 months ago

Constraint Solving and Symbolic Execution

Download vstte.ethz.ch

Jian Zhang

claim paper

Read More »

« Prev « First page 147 / 3159 Last » Next »