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
 

Publications Publikationen



Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kovacs, Laura ; Kovacs, Adalbert Examples of Symbol Elimination in Program VerificationKonferenzbeitrag Inproceedings 2012