View in EDS

VerifyThis 2019: a program verification competition.

Saved in:

Bibliographic Details
Title:	VerifyThis 2019: a program verification competition.
Authors:	Dross, Claire¹, Furia, Carlo A², furiac@usi.ch, Huisman, Marieke³, Monahan, Rosemary⁴, Müller, Peter⁵
Source:	International Journal on Software Tools for Technology Transfer; Dec2021, Vol. 23 Issue 6, p883-893, 11p
Database:	Applied Science & Technology Source

Description
ISSN:	14332779
DOI:	10.1007/s10009-021-00619-x