Si Mohamed Lamraoui


AuthID: R-00H-J36

Publications Awaiting Confirmation

1
TITLE: Studying Verification Conditions for Imperative Programs  Full Text
AUTHORS: Cláudio Belo Lourenço ; Si Mohamed Lamraoui; Shin Nakajima; Jorge Sousa Pinto ;
PUBLISHED: 2015, SOURCE: ECEASST, VOLUME: 72
INDEXED IN: Scopus DBLP

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service