TitleTowards Formal Verification of a Separation Microkernel
Publication TypeConference Paper
Year of Publication2013
AuthorsButterfield A, Sanan D, Hinchey M
Conference NameDASIA 2013, annual Eurospace conferenceDASIA 2013, annual Eurospace conference
Date Published2013
Conference LocationOporto, Portugal
URLhttp://hdl.handle.net/10344/3364