HASLab - Books

Permanent URI for this collection

http://localhost:4000/handle/123456789/180

Browse

Now showing 1 - 2 of 2

Formal Methods – The Next 30 Years

( 2019) José Nuno Oliveira ; McIver,A ; ter Beek,MH ; 5601
Distributed Applications and Interoperable Systems

( 2019) Ricci,L ; José Orlando Pereira ; 5602