Author Search Results

Tools and algorithms for the construction and analysis of systems : : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. / editors, Dana Fisman, Grigore Rosu.

Participants: TACAS (Conference) [ ]; Fisman, Dana. [ TeilnehmendeR ]; Rosu, Grigore. [ TeilnehmendeR ]; TACAS (Conference) (28th : 2022 : Munich, Germany; online) [ TeilnehmendeR ]
Published: 2022.
Superior document: Lecture notes in computer science v.13243

Other Authors: “...TACAS (Conference) (28th : 2022 : Munich, Germany; online)...”

Tools and Algorithms for the Construction and Analysis of Systems : : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / / edited by Dirk Beyer, Marieke Huisman.

Participants: Dirk Beyer [ ]; TACAS (Conference) Thessalonikē, Greece) [ ]; Beyer, Dirk. [ HerausgeberIn, HerausgeberIn ]; Huisman, Marieke. [ HerausgeberIn, HerausgeberIn ]; Huisman, Marieke. [ HerausgeberIn ]
Published: 2018.
Superior document: Theoretical Computer Science and General Issues, 10806

“...TACAS (Conference) Thessalonikē, Greece)...”