Christian Kronseder

CK

Statistics

Publications

1

Citations

13

H-Index

1

Active since

1998

Affiliations

Christian Kronseder is an author at Baxter (Switzerland) specializing in formal methods, computer engineering, and system software.

Publications per year

1998–1998

1

Publications

1