James F. Power

Available identifiers

Publication	Date of Publication	Type
Building Specifications in the Event-B Institution	2023-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q5126790	2020-10-20	Paper
An Institution for Event-B	2020-01-16	Paper
An Early Completion Algorithm: Thue’s 1914 Paper on the Transformation of Symbol Sequences	2015-02-25	Paper
A tool chain for reverse engineering C++ applications	2007-12-12	Paper
A study of the influence of coverage on the relationship between static and dynamic coupling metrics	2006-10-19	Paper
Platform independent dynamic Java virtual machine analysis: the Java Grande Forum benchmark suite	2003-03-25	Paper
Decorating tokens to facilitate recognition of ambiguous language constructs	2003-02-20	Paper

This page was built for person: James F. Power