Search Sciweavers | Sciweavers

15787 search results - page 118 / 3158

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

click to vote

VMCAI
2005
Springer

108views Software Engineering» more VMCAI 2005»

Automata as Abstractions

14 years 2 months ago

Download www.dsi.unive.it

Dennis Dams, Kedar S. Namjoshi

claim paper

Read More »

click to vote

VSTTE
2005
Springer

85views Software Engineering» more VSTTE 2005»

Where Is the Value in a Program Verifier?

14 years 2 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

14 years 2 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

14 years 2 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

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers