Cláudio Filipe Belo da Silva Lourenço


AuthID: R-00F-KKK

Publications Awaiting Confirmation

11
TITLE: Single-assignment program verification
AUTHORS: Cláudio Belo Lourenço;
PUBLISHED: 2018
INDEXED IN: DBLP
IN MY: DBLP
Page 2 of 2. Total results: 11.

A place for researchers and their institutions

Useful Links

Get Help

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