01149nam 2200373 450 99619908760331620180307141358.02-9530504-4-22-9530504-3-4(CKB)2670000000131752(WaSeSS)IndRDA00093786(EXLCZ)99267000000013175220180307d2011 || |engur|||||||||||txtrdacontentcrdamediacrrdacarrierFDL 2010 2010 Forum on Specification & Design Languages : 14-16 September 2010New York :IEEE,2011.1 online resource (220 pages)1-4577-0763-2 Software engineeringCongressesComputer hardware description languagesCongressesComputer softwareVerificationCongressesSoftware engineeringComputer hardware description languagesComputer softwareVerificationWaSeSSWaSeSSPROCEEDING996199087603316FDL 20102505173UNISA