Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Formal methods for industrial critical systems : a survey of applications / edited by Stefania Gnesi, Tiziana Margaria. by Gnesi, Stefania, 1954- [editor.] \| Margaria-Steffen, Tiziana, 1964- [editor.]. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: [Washington, DC] : Hoboken, New Jersey : IEEE Computer Society ; Wiley, [2013]Copyright date: ©2013Online access: Wiley Online Library Availability: No items available. Lists: Sofware Engineering & Computer Science. Request article
	2.	Formal methods for industrial critical systems : a survey of applications / edited by Stefania Gnesi, Tiziana Margaria. by Gnesi, Stefania, 1954- [editor.] \| Margaria-Steffen, Tiziana, 1964- [editor.]. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: [Washington, DC] : Hoboken, New Jersey : IEEE Computer Society ; Wiley, [2013]Copyright date: �2013Online access: Wiley Online Library Availability: No items available. Lists: Sofware Engineering & Computer Science. Request article

Refine your search