A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

Autor:	Leavens, Gary T., Kiniry, Joseph R., Poll, Erik
Rok vydání:	2007
Předmět:	Lect. Notes Comp. Sci Security of Systems
Zdroj:	CAV'2007, 37-37. Berlin ; New York : Springer STARTPAGE=37;ENDPAGE=37;TITLE=CAV'2007 CAV'2007, pp. 37-37
Popis:	Item does not contain fulltext
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e5ba98fb52b1e3640f3cbcc5417e83be https://hdl.handle.net/2066/34616 Zobrazit plný text záznamu