Goanna

A Static Model Checker
Thumbnail
Metadata only
Author
Fehnker, Ansgar
Huuck, Ralf
Jayet, Patrick
Lussenburg, Michel
Rauch, Felix
Show all
Date
2007
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Brim, Luboš
Haverkort, Boudewijn
Leucker, Martin
Pol, Jaco van de
Book title
Formal methods: applications and technology : 11th international workshop : revised selected papers
Journal / series
Lecture Notes in Computer Science
Volume
4346
Pages / Article No.
297 - 300
Publisher
Springer
Event
11th International Workshop FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, 2006
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics