By Derrick John   in Formal Aspects of Computing

ISSN:0934-5043|23|1|43-71

Springer Publishing Company ‎(2011)‎

Access to resources Favorite 14.658802

By Derrick John   Boiten Eerke   in Formal Aspects of Computing

ISSN:0934-5043|26|2|407-432

Springer Publishing Company ‎(2014)‎

Access to resources Favorite 11.727041

By Arts Thomas   Benac Earle Clara   Derrick John   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|5|2-3|205-220

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 8.79528

By Boiten Eerke   Derrick John   Reeves Steve   in Formal Aspects of Computing

ISSN:0934-5043|26|2|195-195

Springer Publishing Company ‎(2014)‎

Access to resources Favorite 8.79528