Andrew Coombes

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
c3		Ian Broster, Andrew Coombes: How to measure and optimize reliable embedded software. SIGAda 2011: 1-2
	1996
j1		Jonathan D. Moffett, Jon G. Hall, Andrew Coombes, John A. McDermid: A Model for a Causal Logic for Requirements Engineering. Requir. Eng. 1(1): 27-46 (1996)
	1992
c2		Andrew Coombes, John A. McDermid: Using Diagrams to Give a Formal Specification of Timing Constraints in Z. Z User Workshop 1992: 119-130
	1990
c1		Andrew Coombes, John A. McDermid: A Tool for Defining the Architecture of Z Specifications. Z User Workshop 1990: 77-92

Coauthor Index

Last update Mon May 20 10:46:04 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page