Verified software [E-Book] : theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008 : proceedings / N. Shankar ...
Shankar, N., (editor)
Berlin : Springer, 2008
online resource
englisch
9783540878735 (e-book)
9783540878728
Lecture notes in computer science ; 5295
Full Text
Description not available.