Skip to content
cs-conference-ranking.org

Abstraction and Verification of Properties of a Real-Time Java.

Nadezhda Baklanova, Martin Strecker

VenueNationalICTERI
Year2012
ProceedingsICTERI (Revised Selected Papers)
DBLP recordconf/icteri/BaklanovaS12 ↗

Browse the full ICTERI paper archive.