TY - GEN
AU - Beckert, Bernhard
TI - Formal Verification of Object-Oriented Software Papers presented at the 2nd International Conference, October 5-7, 2011, Turin, Italy
PB - KIT, Fakultät für Informatik
PY - 2011
BT - Karlsruhe reports in informatics ; 2011,26
CY - Karlsruhe
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation