학술논문

Proving correctness of graph programs relative to recursively nested conditions

Document Type

TEXT

Author

Source

Subject

Computer Science
Non-local graph conditions, graph programs, partial correctness, weakest precondition calculus, structure-changing Petri
Informatik

Language

German

이메일

부산대학교 도서관