Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
PL
PG Larsen
Academic Work (1)
Conference paper (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
1 records found
1
Proving consistency of VDM models using HOL
Conference paper (2010) -
S.D. Vermolen (author)
,
J Hooman (author)
,
PG Larsen (author)
