Madalina Erascu,
"Automated Formal Static Analysis and Retrieval of Source Code"
, Serie International School for Informatics - Johannes Kepler University, 8-2008
Original Titel:
Automated Formal Static Analysis and Retrieval of Source Code
Sprache des Titels:
Englisch
Serie:
International School for Informatics - Johannes Kepler University