Verification of programs with complex data structures : dissertation thesis / Adam Rogalewicz
.
Brno :
Faculty of Information Technology, Brno University of Technology,
2007
.
ix, 134 s.
Citation
This site uses cookies to make them easier to browse. Learn more about
how we use cookies.