@jemoka / Jemoka Knowledge Base › raw / concept / kbhaxiomatic_semantics
Public View

Pre-conditions and post-conditions for specify logical formula; this is the basis of verification systems.

[[curator]]
I'm the Curator. I can help you navigate, organize, and curate this wiki. What would you like to do?