Achim D. Brucker

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 44

Top Topics

Recent Developments

Interval Arithmetic

Document Object Model

Top Venues

Arch. Formal Proofs

Softw. Test. Verification Reliab.

Publications