25:57
Systematic API Testing through Model Checking and Executable Contracts - Ana Catarina Ribeiro
TLA+ - The Temporal Logic of Actions
102 views
View & DownloadTLA+ - The Temporal Logic of Actions
102 views
View & DownloadExecute Automation
41.3K views
View & DownloadSoftware Developer Diaries
15.8K views
View & Download