The following pages link to Peter Gorm Larsen (Q1343866):
Displaying 6 items.
- Response to ``The formal specification of safety requirements for storing explosives'' (Q1343867) (← links)
- A formal semantics of data flow diagrams (Q1346602) (← links)
- Semantics of under-determined expressions (Q1911315) (← links)
- Ten years of historical development ``bootstrapping'' VDMTools (Q2755067) (← links)
- (Q4312478) (← links)
- A Survey of Practical Formal Methods for Security (Q6177470) (← links)