Vol-3500⫷ Vol-3501 ⫸Vol-3502
urn:nbn:de:0074-3501-0


Vol-3501/29-38⫷Vol-3501/39-48⫸Vol-3501/49-59
Stepan PotiyenkoAlexander Kolchin

Generation of Multipurpose Formal Models from Legacy Code