iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/books/sp/17/0001H0NW17.xml
Dirk Beyer 0001 Rolf Hennicker Martin Hofmann 0001 Tobias Nipkow Martin Wirsing Software-Verifikation. 75-86 2017 50 Jahre Universitäts-Informatik in München https://doi.org/10.1007/978-3-662-54712-0_5 books/sp/17/BBBM2017 db/books/collections/BBBM2017.html#0001H0NW17