Write a Blog >>
APLAS 2020
Mon 30 November - Wed 2 December 2020
César Sánchez

Registered user since Tue 14 Mar 2017

Name:César Sánchez
Country:Spain
Affiliation:IMDEA Software Institute
Research interests:Reactive Systems, Applications of Logic to Computer Science, Runtime Verification, Formal Verification, Formal Methods, Decision Procedures

Contributions

APLAS 2020 Declarative Stream Runtime Verification (hLola)
Show activities from other conferences

APLAS 2020-profile
View general profile