Formal methods and software engineering : 6th international conference on formal engineering
methods, ICFEM 2004, Seattle, WA, USA, november 8-12, 2004 : proceedings / Jim Davies,
Wolfram Schulte, Mike Barnett (Eds.) : Springer, 2004
Internet, https://authorities.loc.gov/cgi-bin/Pwebrecon.cgi?AuthRecID=3122325&v1=1&HC=1&SEQ=20210504093234&PID=zNIoTXQjVlT277OtlDvpVC-8yT,
2021-05-04
Information trouvée : né en 1964