By Ireland Andrew   Stark Jamie   in Automated Software Engineering

ISSN:0928-8910|13|1|65-105

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 12.564371

By Llano Maria   Ireland Andrew   Pease Alison   in Formal Aspects of Computing

ISSN:0934-5043|26|2|203-249

Springer Publishing Company ‎(2014)‎

Access to resources Favorite 9.423279

By Ireland Andrew   Ellis Bill   Cook Andrew   Chapman Roderick   Barnes Janet   in Journal of Automated Reasoning

ISSN:0168-7433|36|4|379-410

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 7.8527317