Petar Z. Khotomski

Available identifiers

zbMath Open khotomski.petar-zMaRDI QIDQ2914042

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4922313	2013-05-29	Paper
Dijkstra's interpretation of the approach to solving a problem of program correctness	2013-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q2914043	2012-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q3649357	2009-12-03	Paper
Resolution methods in proving the program correctness	2008-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q5424668	2007-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q4823666	2004-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4708425	2003-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4874800	1996-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q3732982	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3662642	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3671122	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4093411	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5611783	1970-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: Petar Z. Khotomski