Skip to content

Covering both stack and states while testing push-down systems.

Pierre-Cyrille Ham, Hana M'Hemdi

VenueAICST
Year2015
ProceedingsICST Workshops

Browse the full ICST paper archive.