Petar Z. Khotomski

From MaRDI portal
Revision as of 09:50, 6 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:2914042

Available identifiers

zbMath Open khotomski.petar-zMaRDI QIDQ2914042

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q49223132013-05-29Paper
Dijkstra's interpretation of the approach to solving a problem of program correctness2013-01-10Paper
https://portal.mardi4nfdi.de/entity/Q29140432012-09-21Paper
https://portal.mardi4nfdi.de/entity/Q36493572009-12-03Paper
Resolution methods in proving the program correctness2008-07-02Paper
https://portal.mardi4nfdi.de/entity/Q54246682007-11-05Paper
https://portal.mardi4nfdi.de/entity/Q48236662004-10-28Paper
https://portal.mardi4nfdi.de/entity/Q47084252003-06-17Paper
https://portal.mardi4nfdi.de/entity/Q48748001996-07-18Paper
https://portal.mardi4nfdi.de/entity/Q37329821985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36626421983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36711221982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40934111975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56117831970-01-01Paper

Research outcomes over time

This page was built for person: Petar Z. Khotomski

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