Internet, https://authorities.loc.gov/cgi-bin/Pwebrecon.cgi?AuthRecID=2689814&v1=1&HC=1&SEQ=20210202112637&PID=zIt2gPcVTBoDnlFqZV67CxYE_P1s,
2021-02-02
Information trouvée : né en 1958
Verification, model checking, and abstract interpretation : 5th international conference,
VMCAI 2004, Venice, Italy, january 2004 : proceedings / Ed. by Bernhard Steffen, Giorgio
Levi, Springer, 2004