A Weakest Precondition Calculus for BUnity

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Pages (from-to)	1278-1293
Number of pages	16
Journal	Science of Computer Programming
Volume	78
Issue number	9
Publication status	Published - 2013

Cite this

@article{de1f5379e15c41528840eed6f868b19d,

title = "A Weakest Precondition Calculus for BUnity",

author = "L. Astefanoaei and \{de Boer\}, F. and M.M. Dastani and J-J.Ch. Meyer",

year = "2013",

language = "Undefined/Unknown",

volume = "78",

pages = "1278--1293",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier BV",

number = "9",

}