Bertrand Meyer
From MaRDI portal
Person:846107
Available identifiers
zbMath Open meyer.bertrandWikidataQ92946 ScholiaQ92946MaRDI QIDQ846107
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Certificates and Separation Logic | 2016-11-09 | Paper |
An Automatic Technique for Static Deadlock Prevention | 2015-12-03 | Paper |
Freefinement | 2015-09-11 | Paper |
Loop invariants | 2015-03-02 | Paper |
Avoid a Void: The Eradication of Null Dereferencing | 2010-10-26 | Paper |
Inferring Loop Invariants Using Postconditions | 2010-09-03 | Paper |
Contracts for concurrency | 2010-02-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4436978 | 2003-12-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4413673 | 2003-07-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4371400 | 1998-01-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q3998221 | 1993-01-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4024014 | 1993-01-23 | Paper |
Showing programs on a screen | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3666219 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3886834 | 1980-01-01 | Paper |
A note on computing multiple sums | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4194406 | 1978-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Bertrand Meyer