The Collection of
Computer Science Bibliographies

Selection of Computer Science Bibliographies

This is a list of those bibliographies of the Computer Science Bibliography Collection whose descriptions match

"formal methods"

Go to a bibliography or search all selected bibliographies (all bibliographies are selected by default).


Bibliography of publications from the Specification and Verification Lab, ENS de Cachan
Thomas A. Alspaugh's personal bibliography
Bibliography on software engineering and formal methods
Annotated Bibliography on Abstract State Machines (ASMs)
The VDM++ Bibliography
Bibliography for Ulrich Nitsche
International Journal of Software Engineering
AFADL
2nd South-East European Workshop on Formal Methods (SEEFM05) Proceedings
M. Mousavi's Bibtex Collection Formal Methods
Bibliography of the Center for Secure and Dependable Systems (CSDS)
Bibliography of the Publications of the Software Engineering Group Freiburg
Bibliography on Formal Methods for Distributed Systems and Multi-Agent Systems
A bibliography of introductory material for formal methods
A bibliography on applications of formal methods within the railways domain
The FME and VDM Europe Bibliography
The RAISE Bibliography
PVS Bibliography
Bibliography on Hardware Verification and Formal Methods
Bibliography for Jim Grundy
A bibliography of Formal Methods applied to Software Reuse and Software Reuse in general
ProCoS II Bibliography

Found 22 matching bibliographies.

Search the selected bibliographies

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

Copyright © 1995-2009 Alf-Christian Achilles, All rights reserved.
This service is brought to you by Alf-Christian Achilles and Paul Ortyl
Please direct comments to liinwwwa@ira.uka.de