869 followers
#OnlineFirst: Certifying delta-oriented programs; Vítor Rodrigues, Simone Donetti, Ferruccio Damiani; https://t.co/S3FeYMEAJ2
#OnlineFirst: Certifying delta-oriented programs; Vítor Rodrigues, Simone Donetti, Ferruccio Damiani; https://t.co/S3FeYMEAJ2