The Collection of
Computer Science Bibliographies

Bibliography of "Formal Aspects of Computing"

[   About   |  Browse   |   Statistics   ]

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

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

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

Bibliographic Statistics

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

Valid XHTML 1.1!  Valid CSS!