By Malacaria P.   in Theoretical Computer Science

ISSN:0304-3975|139|1|187-205

Elsevier‎(1995)‎

Access to resources Favorite 15.275279

By Bucciarelli A.   Malacaria P.   in Theoretical Computer Science

ISSN:0304-3975|278|1|91-110

Elsevier‎(2002)‎

Access to resources Favorite 12.741753

By Clark D.   Hunt S.   Malacaria P.   in Electronic Notes in Theoretical Computer Science

ISSN:1571-0661|59|3|1-14

Elsevier‎(2004)‎

Access to resources Favorite 9.33901