View in EDS

VerifyThis 2019: a program verification competition.

Saved in:
Bibliographic Details
Title: VerifyThis 2019: a program verification competition.
Authors: Dross, Claire1, Furia, Carlo A2, furiac@usi.ch, Huisman, Marieke3, Monahan, Rosemary4, Müller, Peter5
Source: International Journal on Software Tools for Technology Transfer; Dec2021, Vol. 23 Issue 6, p883-893, 11p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first