Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
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

VORTEX 2021 Synchronous and Asynchronous Stream Runtime Verification
Show activities from other conferences

ECOOP and ISSTA 2021-profile
View general profile