Specializations in Symbolic Verification.
Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov
VenueNationalICTERI
Year2013
ProceedingsICTERI (Revised Selected Papers)
DBLP recordconf/icteri/PeschanenkoGS13a ↗
Browse the full ICTERI paper archive.