Old Web
English
Sign In
Acemap
>
authorDetail
>
Christoph Legat
Christoph Legat
Discrete mathematics
Derivation
Computer science
Calculus
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Automated derivation of tests from specifications
2018
Todor Stoitsev
Steven Straw
Christoph Legat
Eduardo Gómez-Gómez
Show All
Source
Cite
Save
Citations (0)
1