Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
Christoph Lauter

Registered user since Tue 18 May 2021

Name:Christoph Lauter
Country:United States
Affiliation:University of Alaska at Anchorage
Research interests:Numerical Computing, Floating-Point Arithmetic, Rigorous Computing, Machine Learning

Contributions

ISSTA 2021 Interval Constraint-Based Mutation Testing of Numerical Specifications
Show activities from other conferences

ECOOP and ISSTA 2021-profile
View general profile