Perspectives of System Informatics 9th International Ershov Informatics Conference

Event name
Perspectives of System Informatics 9th International Ershov Informatics Conference
 
Event type
Event for scientific audience
 
Start date
24-06-2014
End date
27-06-2014
 
Location
St. Petersburg
Country
Russian Federation
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



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

PreviewAuthor(s)TitleTypeIssue Date
1Dragan, Ioan ; Kovacs, Laura Lingva: Generating and Proving Program Properties using Symbol EliminationKonferenzbeitrag Inproceedings2014