Csirmaz László. (1981). On the completeness of proving partial correctness.
Chicago Style (17th ed.) CitationCsirmaz László. On the Completeness of Proving Partial Correctness. 1981.
MLA idézésCsirmaz László. On the Completeness of Proving Partial Correctness. 1981.
Figyelem: ezek az hivatkozások nem 100%-ban pontosak..