Bertrand Meyer
From MaRDI portal
Person:846107
Available identifiers
zbMath Open meyer.bertrandDBLPm/BertrandMeyerWikidataQ92946 ScholiaQ92946MaRDI QIDQ846107
List of research outcomes
| This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| 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: analysis, classification, and examples | 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 |
| https://portal.mardi4nfdi.de/entity/Q4194406 | 1978-01-01 | Paper |
| A note on computing multiple sums | 1978-01-01 | Paper |
Research outcomes over time
This page was built for person: Bertrand Meyer