Laura Kovacs,
"a Package for Reasoning about Loops"
: Proc. of 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Yerevan, Armenia, 10-2007
Original Titel:
a Package for Reasoning about Loops
Sprache des Titels:
Englisch
Original Buchtitel:
Proc. of 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)
Forschungs-