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/journals/sigcse/AlmstrumDGHS01.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - JOUR ID - DBLP:journals/sigcse/AlmstrumDGHS01 AU - Almstrum, Vicki L. AU - Dean, C. Neville AU - Goelman, Don AU - Hilburn, Thomas B. AU - Smith, Jan TI - Support for teaching formal methods. JO - ACM SIGCSE Bull. VL - 33 IS - 2 SP - 71 EP - 88 PY - 2001// DO - 10.1145/571922.571962 UR - https://doi.org/10.1145/571922.571962 UR - https://doi.org/10.1145/571968.571970 ER -