Skip to main content

An Introduction to Test Specification in FQL

Andreas Holzer‚ Christian Schallhart‚ Michael Tautschnig and Helmut Veith

Book Title
Proceedings of 6th International Haifa Verification Conference (HVC 2011)
Editor
Sharon Barner and Ian G. Harris and Daniel Kroening and Orna Raz
ISBN
978−3−642−19582−2
Month
October
Pages
9−22
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
6504
Year
2011