Proceedings of 13th International Conference on Mathematics and its Applications
Book title Buchtitel
Proceedings of 13th International Conference on Mathematics and its Applications
Publisher Herausgeber
Scientific Bulletin of Politehnica University Timisoara, Romania
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kovacs, Laura ; Kovacs, Adalbert | Examples of Symbol Elimination in Program Verification | Konferenzbeitrag Inproceedings  | 2012 |