Formal methods and software engineering. 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21--25, 2002. Proceedings

DOI10.1007/3-540-36103-0zbMATH Open1012.68851OpenAlexW2496700119MaRDI QIDQ1872753

Author name not available (Why is that?)

Publication date: 14 May 2003

Published in: (Search for Journal in Brave)

Full work available at URL: http://link.springer.de/link/service/series/0558/tocs/t2495.htm

zbMATH Keywords

No records found.

Mathematics Subject Classification ID

No records found.

This page was built for publication: Formal methods and software engineering. 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21--25, 2002. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1872753)