3 ms·
Luca Cardelli, who is quite famous in formal methods, did a lot of work in the area during the early 2000s: http://lucacardelli.name http://lucacardelli.name
by nextos 4y ago
Luca Cardelli, who is quite famous in formal methods, did a lot of work in the area during the early 2000s: http://lucacardelli.name http://lucacardelli.name