Login / Signup

Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning.

Benedikt BolligJoost-Pieter KatoenCarsten KernMartin Leucker
Published in: TACAS (2007)
Keyphrases