An approach for evaluating formal description techniques.
Ari AhtiainenS. AlfonzettiV. ChariMats DanielsMichel DiazAlberto FaroHans A. HanssonGuy JuanoleUlla KarjalainenGesualdo Le MoliJuhani MalkaSergio PalazzoOrlando PeredaPublished in: PSTV (1985)