Tien Dat Nguyen

1PUBLICATIONS
2CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Mar 24, 2020
bertha: Project skeleton for scientific software.

Michael Riesch, Tien Dat Nguyen, Christian Jirauschek

Pageof 1