Formal Specification using Interaction Diagrams

Lano, K (2007) Formal Specification using Interaction Diagrams. In: SEFM 2007: 5th IEEE International Conference on Software Engineering and Formal Methods.

Full text not available from this repository.

Item Type:	Conference or Workshop Item (Paper)
Subjects:	UNSPECIFIED
ID Code:	318
Deposited By:	Dr K Lano
Deposited On:	31 Oct 2007 12:18
Last Modified:	01 Nov 2007 18:57

Repository Staff Only: item control page

Accessibility | Terms and Conditions | Last Modified 01 November 2007