Merz, Stephan.

概要

作品:	5 作品在 2 項出版品 1 種語言

書目資訊

Temporal Logic and State Systems by: Merz, Stephan.; SpringerLink (Online service); Kroger, Fred. (書目-語言資料,印刷品)

Interactive theorem proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings / by: Blanchette, Jasmin Christian.; Merz, Stephan.; SpringerLink (Online service) (書目-電子資源)

Integrated formal methods = 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings / by: Mery, Dominique.; Merz, Stephan.; SpringerLink (Online service) (書目-語言資料,印刷品)

Formal methods and software engineering = 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : proceedings / by: Merz, Stephan.; Pang, Jun.; SpringerLink (Online service) (書目-電子資源)

主題