The Collection of
Computer Science Bibliographies

Bibliography of "Formal Aspects of Computing"

Number of references:	195	Last update:	April 27, 2001
Number of online publications:	0	Supported:	no
Most recent reference:	1996

Abstract:: Bibliography of all the articles in the journal "Formal Aspects of Computing".
Keywords:: Well founded notations for system description/specifications, Verifiable designs, Proof methods, Theories of objects used in specifications and implementations, Transformational design, Formal approaches to requirements analysis, Results on algorithm and problem complexity, Fault-tolerant design, Methods of approaching development.
Journal Home:: Formal Aspects of Computing

Original source:

Used to be available at
http://www.dcs.glasgow.ac.uk/~jon/facs/facs.bib
but has disappeared.
Local copy in BibTeX format (12 KB, compressed with gzip)

Types:: article(195)
Fields:: author(195), journal(195), number(195), title(195), volume(195), year(195), pages(194)
Distribution of publication dates: