Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

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