I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

An approach to model checking ada programs:

, In: Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies,
Faria, José Miguel ; Martins, João ; Pinto, Jorge Sousa - p. 105-118 , 2012
Link: https://dl.acm.org/doi/10.1007/978-3-642-30598-6_8