90 followers
Monadic Sequence Testing and Explicit Test Refinements by Achim D. Brucker and Burkhart Wolff https://t.co/YQ3u4pDUfr #tap16 #staf16
Monadic Sequence Testing and Explicit Test Refinements by Achim D. Brucker and Burkhart Wolff https://t.co/YQ3u4pDUfr #tap16 #staf16