Behavioral validation of JFSL specifications through model synthesis.

Carlo Ghezzi, Andrea Mocci

Browse the full ICSE paper archive.