Results
Title: | Automatic Inference of Invariants in Objects with Variable Structure | Authors: | Kupusinac, Aleksandar ; Dušan Malbaški | Issue Date: | 2011 | Publication: | Zbornik radova XIX Telekomunikacioni forum (TELFOR 2011) | Publisher: | Društvo za telekomunikacije, Beograd; Elektrotehnički fakultet, Beograd; IEEE Serbia and Montenegro COM Chapter, Srbija | Type: | Conference Paper | ISBN: | 978-1-4577-1498-6 Search Idenfier | Collation: | str. 1372-1374 | URI: | https://enauka.gov.rs/handle/123456789/198192 | URL: | http://2011.telfor.rs/ | Metadata source: | Migrirano iz RIS podataka | M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.