F@BOOL@

MaRDI QIDQ32817swMATHFDO

Official website https://link.springer.com/article/10.3103/S0146411611070133

Cited in

(3)

• scientific article; zbMATH DE number 6708298 (Why is no real title available?)
• Generation of correctness conditions for imperative programs
• scientific article; zbMATH DE number 6687732 (Why is no real title available?)

This page was built for software: F@BOOL@