Skip to content

StIns4CS: A State Inspection Tool for C#.

Amjad Ibrahim, Sebastian Banescu

VenueA*CCS
Year2016
ProceedingsSPRO@CCS

Browse the full CCS paper archive.