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.org/rec/conf/wadt/2014.xml
Mihai Codescu Razvan Diaconescu Ionut Tutu Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers WADT Springer 2015 Lecture Notes in Computer Science 9463 978-3-319-28113-1 https://doi.org/10.1007/978-3-319-28114-8 db/conf/wadt/wadt2014.html