Browse by Journal
Jump to: D
Number of items: 1.
D
da Silva Brito, Patrick Henrique and de Lemos, Rogério and Fischer Rubira, Cecilía Mary (2008) Verification of Exception Control Flows and Handlers Based on Architectural Scenarios. In: 2008 11th IEEE High Assurance Systems Engineering Symposium. IEEE, pp. 177-186. ISBN 978-0-7695-3482-4. (doi:10.1109/HASE.2008.11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:32080) |