Skip to content

Mutation Patterns for Temporal Requirements of Reactive Systems.

Mark B. Trakhtenbrot

VenueAICST
Year2017
ProceedingsICST Workshops

Browse the full ICST paper archive.