Wijs, Anton.

概要

作品:	1 作品在 4 項出版品 1 種語言

書目資訊

Integrated formal methods18th International Conference, iFM 2023, Leiden, the Netherlands, November 13-15, 2023 : proceedings / by: (1998 :); Herber, Paula.; SpringerLink (Online service); Wijs, Anton. (書目-電子資源)

Model checking software23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings / by: (1998 :); Bosnacki, Dragan.; SpringerLink (Online service); Wijs, Anton. (書目-電子資源)

Formal aspects of component software17th International Conference, FACS 2021, virtual event, October 28-29, 2021 : proceedings / by: (1998 :); Salaun, Gwen.; SpringerLink (Online service); Wijs, Anton. (書目-電子資源)

Concise guide to software verificationfrom model checking to annotation checking / by: Huisman, Marieke.; SpringerLink (Online service); Wijs, Anton. (書目-電子資源)

主題