Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns | Publicación