An introduction to formal program verification /

Similar Items

• Automation of Formal Verification of Programs in the Pifagor Language
  by: M. S. Ushakova, et al.
  Published: (2015-08-01)
• Formal Verification of Programs in Functional Dataflow Parallel Language
  by: M. S. Kropacheva, et al.
  Published: (2015-03-01)
• Towards formal verification of Bayesian inference in probabilistic programming via guaranteed bounds
  by: Zaiser, F
  Published: (2024)
• The foundations of program verification /
  by: Loeckx, Jacques, 1931-, et al.
  Published: (1984)
• Computer programming and formal systems /
  by: Braffort, P., et al.
  Published: (1963)