Search Sciweavers | Sciweavers

15787 search results - page 118 / 3158

» Is Software Engineering Training Enough for Software Enginee...

133

Voted

VMCAI
2005
Springer

108views Software Engineering» more VMCAI 2005»

Automata as Abstractions

15 years 10 months ago

Download www.dsi.unive.it

Dennis Dams, Kedar S. Namjoshi

claim paper

Read More »

109

click to vote

VSTTE
2005
Springer

85views Software Engineering» more VSTTE 2005»

Where Is the Value in a Program Verifier?

15 years 10 months ago

Download vstte.ethz.ch

Colin O'Halloran

claim paper

Read More »

click to vote

VSTTE
2005
Springer

108views Software Engineering» more VSTTE 2005»

Modular Reasoning in Object-Oriented Programming

15 years 10 months ago

Download vstte.ethz.ch

David A. Naumann

claim paper

Read More »

click to vote

VSTTE
2005
Springer

68views Software Engineering» more VSTTE 2005»

The Importance of Non-theorems and Counterexamples in Program Verification

15 years 10 months ago

Download vstte.ethz.ch

Graham Steel

claim paper

Read More »

click to vote

VSTTE
2005
Springer

109views Software Engineering» more VSTTE 2005»

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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers