Paul Curzon

From MaRDI portal
Person:878108

Available identifiers

zbMath Open curzon.paulMaRDI QIDQ878108

List of research outcomes





PublicationDate of PublicationType
A comparison of MDG and HOL for hardware verification2024-07-05Paper
Verification-guided modelling of salience and cognitive load2010-01-04Paper
An approach to formal verification of human-computer interaction2007-11-28Paper
Providing a formal linkage between MDG and HOL2007-04-26Paper
https://portal.mardi4nfdi.de/entity/Q30248682005-07-04Paper
https://portal.mardi4nfdi.de/entity/Q47375612004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44752662004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q44203422003-08-17Paper
https://portal.mardi4nfdi.de/entity/Q47872342003-01-09Paper
https://portal.mardi4nfdi.de/entity/Q49487302000-06-07Paper
https://portal.mardi4nfdi.de/entity/Q49452132000-03-23Paper
Deriving correctness properties of compiled code1994-05-03Paper

Research outcomes over time

This page was built for person: Paul Curzon

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:878108&oldid=6054563"
Powered by MediaWiki