Usability of semi-formal and formal methods integration : empirical assessments

Bibliographic Details
Main Author:	Razali, Rozilawati
Published:	University of Southampton 2008
Subjects:	005.12
Online Access:	https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.444124

id	ndltd-bl.uk-oai-ethos.bl.uk-444124
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-4441242018-09-05T03:22:48ZUsability of semi-formal and formal methods integration : empirical assessmentsRazali, Rozilawati2008005.12University of Southamptonhttps://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.444124https://eprints.soton.ac.uk/265391/Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005.12
spellingShingle	005.12 Razali, Rozilawati Usability of semi-formal and formal methods integration : empirical assessments
author	Razali, Rozilawati
author_facet	Razali, Rozilawati
author_sort	Razali, Rozilawati
title	Usability of semi-formal and formal methods integration : empirical assessments
title_short	Usability of semi-formal and formal methods integration : empirical assessments
title_full	Usability of semi-formal and formal methods integration : empirical assessments
title_fullStr	Usability of semi-formal and formal methods integration : empirical assessments
title_full_unstemmed	Usability of semi-formal and formal methods integration : empirical assessments
title_sort	usability of semi-formal and formal methods integration : empirical assessments
publisher	University of Southampton
publishDate	2008
url	https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.444124
work_keys_str_mv	AT razalirozilawati usabilityofsemiformalandformalmethodsintegrationempiricalassessments
_version_	1718728583621378048

Similar Items