Heike Wehrheim
AuthID: R-00J-FRA
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
AUTHORS: Wolfgang Ahrendt; Heike Wehrheim;
PUBLISHED: 2020, SOURCE: TAP@STAF, VOLUME: 12165
INDEXED IN: DBLP