![]() | ![]() |
1996 | ||
---|---|---|
3 | EE | E. J. Younger, Z. Luo, Keith H. Bennett, T. M. Bull: Reverse Engineering Concurrent Programs using Formal Modelling and Analysis. ICSM 1996: 255-264 |
2 | EE | E. J. Younger, Z. Luo, Keith H. Bennett, T. M. Bull: Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis. WCRE 1996: 239-248 |
1995 | ||
1 | EE | T. M. Bull, E. J. Younger, Keith H. Bennett, Z. Luo: Bylands: reverse engineering safety-critical systems. ICSM 1995: 358-366 |
1 | Keith H. Bennett | [1] [2] [3] |
2 | Z. Luo | [1] [2] [3] |
3 | E. J. Younger | [1] [2] [3] |