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

Personal website: http://software.imdea.org/~cesar

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