Centre for Software Reliability
5 published titles
Software certification
(Contributor)
1 edition
- ISBN: 1851663800
- Elsevier Applied Science
- 1989
- Details
Software engineering for large software systems
(Contributor)
1 edition
- ISBN: 1851665048
- Elsevier Applied Science
- 1990
- Details
Software reliability and metrics
(Contributor)
1 edition
- ISBN: 1851666753
- Elsevier Applied Science
- 1991
- Details
Safety and reliability of software based systems : twelfth annual CSR workshop (Bruges 12-15 September 1995)
(Contributor)
1 edition
- ISBN: 3540760342
- Springer
- 1997
- Details
FM 2005 : formal methods : International Symposium of Formal Methods Europe Newcastle, UK, July 18-22, 2005 : proceedings
(Contributor)
1 edition
- ISBN: 9783540278825
- Springer
- 2005
- Details
