00774nam0-22002771i-450-99000300397040332120080509101021.0000300397FED01000300397(Aleph)000300397FED0100030039720030910d1996----km-y0itay50------baengUSAccountability for past abusesJuan E. MéndezNotre Dame (In.)Kellogg Institute199621 p.28 cmWorking PapersKellog Institute233Méndez,Juan E.76396ITUNINARICAUNIMARCBK990003003970403321Paper 50/96.233SESSESAccountability for past abuses468525UNINA01457nam 2200409 450 99657552520331620230414104127.01-7281-8928-4(CKB)5590000000003929(NjHacI)995590000000003929(EXLCZ)99559000000000392920230414d2020 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrier2020 Forum for Specification and Design Languages (FDL) /Institute of Electrical and Electronics Engineers (IEEE)Piscataway, New Jersey :Institute of Electrical and Electronics Engineers (IEEE),2020.1 online resource illustrations some color1-7281-8929-2 2020 Forum for Specification and Design Languages Computer softwareVerificationConference papers and proceedingsComputer hardware description languagesSoftware architectureCongressesComputer softwareVerification.Conference papers and proceedings.Computer hardware description languages.Software architecture005.14NjHacINjHaclPROCEEDING9965755252033162020 Forum for Specification and Design Languages (FDL)2519610UNISA