19:29
TLA+ - The Temporal Logic of Actions
380 views
View & DownloadSPLASH15 Conference
152 views
View & DownloadPhilipp Hagenlocher
30.5K views
View & DownloadBrisbane Functional Programming Group
4.3K views
View & DownloadMichael Ryan Clarkson
8.7K views
View & DownloadSimons Institute for the Theory of Computing
479 views
View & Download