Peter Würtz Vinther Tran-Jørgensen

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 2

Top Topics

Provably Correct

Safety Critical

Formal Languages

Top Venues

Publications

Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter Würtz Vinther Tran-Jørgensen, Jim Woodcock
A Survey of Practical Formal Methods for Security. CoRR (2021)
Luís Diogo Couto, Peter Würtz Vinther Tran-Jørgensen, Kenneth Lausdahl
Principles for reuse in formal language tools. SAC (2016)