last posts

June 2020

ACTA INFORMATICA
N. Ayoub
ACTA INFORMATICA Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs...
read more
Show more
Showing
No More Posts