Heike Wehrheim


AuthID: R-00J-FRA

Publications Awaiting Confirmation

1
TITLE: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]
AUTHORS: Wolfgang Ahrendt; Heike Wehrheim;
PUBLISHED: 2020, SOURCE: TAP@STAF, VOLUME: 12165
INDEXED IN: DBLP

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service