Editorial: Special issue on Integrated Formal Methods
Boiten, Eerke Albert,
Derrick, John,
Smith, Graeme
(2005)
Editorial: Special issue on Integrated Formal Methods.
Formal Aspects of Computing,
17
(4).
ISSN 0934-5043.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:14227)
The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
(Contact us about this Publication)
|
- Depositors only (login required):
|