Sergey Goncharov - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Mon 17 Sep 2018

Name:Sergey Goncharov

Country:Germany

Affiliation:FAU Erlangen-Nürnberg, Lehrstuhl 8

Personal website: https://www8.cs.fau.de/sergey

Contributions

2019

FOSSACS

GaLoP

Universal property of the monad for infinite trace strategies (work in progress)

QAPL

An Adequate Semantics for Hybrid While

Show activities from other conferences

ETAPS 2019-profile
View general profile