Browse by Person (creator, editor, contributor, etc.)
Number of items: 3. Conference or workshop item
Derrick, John and Smith, Graeme
(2004)
Linear temporal logic and Z refinement.
In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds.
Linear temporal logic and Z refinement.
Lecture Notes in Computer Science, 3116.
Springer
pp. 117-131.
ISBN 3-540-22381-9 .
(doi:https://doi.org/10.1007/b98770)
(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)
|
|
Bujorianu, Marius C. and Boiten, Eerke Albert
(2004)
Towards Correspondence Carrying Specifications.
In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds.
Algebraic Methodology and Software Technology.
LNCS, 3116.
Springer
pp. 57-71.
ISBN 3-540-22381-9 .
(doi:https://doi.org/10.1007/b98770)
(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)
|
|
Bujorianu, Marius C. and Maharaj, Savitri and Bujorianu, Manuela L.
(2002)
Towards a formalization of viewpoints testing.
In: Formal Approaches To Testing of Software 2002 (FATES'02), 24th August 2002, Brno, Czech Republic.
(Full text available)
|
![[img]](/13752/1.hassmallThumbnailVersion/FormalRob.pdf)  Preview |
|
This list was generated on Mon Apr 23 20:13:37 2018 BST.
|