Model Checking Programs

Model Checking Programs (2003)

Cached

Other Repositories/Bibliography

DBLP

Save to List
Add to Collection
Correct Errors
Monitor Changes

by Willem Visser , Klaus Havelund , GUILLAUME BRAT , SEUNGJOON PARK , FLAVIO LERDA

Citations:

388 - 56 self

Document Versions

Model Checking Programs –Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA — 2003

Model Checking Programs –Willem Visser, Guillaume Brat, Klaus Havelund, Seungjoon Park — 2000 — In: Proceedings of the 15th International Conference on Automated Software Engineering (ASE

Model Checking Programs –Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park — 2000 — AUTOMATED SOFTWARE ENGINEERING JOURNAL

Model Checking Programs –Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park — 2000 — IN IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE

Model Checking Programs –Willem Visser, Klaus Havelund, Guillaume Brat — 2000 — Automated Software Engineering Journal