586 followers
これは読みたい。。。 / “Local Verification of Global Invariants in Concurrent Programs | SpringerLink” https://t.co/MnshMOLY3p #vcc #book
これは読みたい。。。 / “Local Verification of Global Invariants in Concurrent Programs | SpringerLink” https://t.co/MnshMOLY3p #vcc #book