bookmarks (hide)4
- A gadget to search CiteULike inside Google's personalized homepage
publications (hide)2270
- (1990)
- Software and Systems Modeling, V4 (3): 277--296 (July 2005)
- Formal Aspects of Computing, V12 (6): 485--500 (December 2000)
- (2005)
- Software and Systems Modeling, 6 (1): 3--35 (March 2007)
- Computer, 30 (7): 31--42 (1997)
- page 114--120. (1995)
- page 117--124. (1995)
- page 185--193. (1993)
- page 98--100. (2002)
- page 207--214. (1997)
- page 413--417. (2006)
- page 41--51. (1998)
- page 1198--1203. (1999)
- page 380--389. (2003)
- page 34--40. (1998)
- Software and Systems Modeling, 5 (1): 91--107 (April 2006)
- Systems Engineering, 9 (3): 228--240 (2006)
- ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, page 112--122. New York, NY, USA, ACM Press, (2002)
- (2001)
