National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Celiku, Orieta
URI:
http://urn.fi/URN:NBN:fi:au:pn:000127349
name
Celiku, Orieta
Authored works
Correctness and refinement of dually nondeterministic programs
Mechanized reasoning for dually-nondeterministic and probabilistic programs
Theorem prover support for precondition and correctness calculation
Works contributed to
Works about Celiku, Orieta
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD
