Perspectives of System Informatics 9th International Ershov Informatics Conference

View Statistics Email Alert RSS Feed

Description

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