Computational contracts
Publication Type:
Journal ArticleSource:
Science of Computer Programming, p.- (2013)URL:
http://www.sciencedirect.com/science/article/pii/S0167642313002347 [4]Keywords:
Theory [5]Subgroup:
REBLS
Links
[1] http://soft.vub.ac.be/soft/members/cfscholl
[2] http://soft.vub.ac.be/soft/biblio?f%5Bauthor%5D=87
[3] http://soft.vub.ac.be/soft/biblio?f%5Bauthor%5D=299
[4] http://www.sciencedirect.com/science/article/pii/S0167642313002347
[5] http://soft.vub.ac.be/soft/biblio?f%5Bkeyword%5D=107