Journal title
SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS
DOI
10.1109/SEFM.2007.13
Last updated
2024-01-20T00:44:06.65+00:00
Page
123-+
Symplectic ID
590363
Download URL
https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000251162400013&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=4fd6f7d59a501f9b8bac2be37914c43e
Submitted to ORA
Off
Favourite
Off
Publication type
Conference Paper
ISBN-13
978-0-7695-2884-7
Publication date
2007