Bibliography of "Formal Aspects of Computing"

[   About   |  Browse   |   Statistics   ]

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

Information on the Bibliography

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

Browsing the bibliography

• 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)

Bibliographic Statistics

Types:

article(195)

Fields:

author(195), journal(195), number(195), title(195), volume(195), year(195), pages(194)

Distribution of publication dates:

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>. This page is part of the Computer Science Bibliography Collection. Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.