Browse by Publication
![]() | Up a level |
Number of items: 1.
Abdelhalim, I, Schneider, SA and Treharne, H (2012) An integrated framework for checking the behaviour of fUML models using CSP International Journal on Software Tools for Technology Transfer, volume forthcoming . ISSN 1433-2779
