O. Shtrichman
From MaRDI portal
Person:1865857
Available identifiers
zbMath Open shtrichman.oferMaRDI QIDQ1865857
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 |
|---|---|---|
| https://portal.mardi4nfdi.de/entity/Q4818813 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474229 | 2004-08-04 | Paper |
| The code validation tool (CVT). Automatic verification of a compilation process | 2003-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4787213 | 2003-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551144 | 2002-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754108 | 2001-11-11 | Paper |
Research outcomes over time
This page was built for person: O. Shtrichman
