Skip to main content Skip to main navigation

Publication

Verification Support Environment (VSE)

Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
In: Journal of High Integrity Systems, Vol. 1, No. 6, Pages 523-530, Oxford University Press, 1996.