Hans Kristian Agerlund Lintrup

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen
Connecting UML and VDM++ with Open Tool Support. FM (2009)