Skip to content

Specification and execution of tests using tMsc.

Iulian Ober, Alain Kerbrat

VenueCFORTE
Year1999
ProceedingsFORTE

Browse the full FORTE paper archive.