Name Card

Full name Familienname, Vorname
Jucu, Ioana
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Jucu Ioana - 2013 - An evaluation of symbol elimination for generating...pdf.jpgJucu, Ioana An evaluation of symbol elimination for generating first-order loop invariantsThesis Hochschulschrift 2013