DeepAI
AI Chat AI Detector and Humanizer AI Image Generator AI Video AI Voice Chat

Fifty years of Hoare's Logic

04/08/2019
∙
by   Krzysztof R. Apt, et al.
∙
0
∙

We discuss a history of Hoare's logic.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset

Out of credits

Refill your membership to continue using DeepAI

Sign in with Google

×

Use your Google Account to sign in to DeepAI

×

Consider DeepAI Pro