%0 Journal Article %1 journals/jss/StachtiariMKBS18 %A Stachtiari, Emmanouela %A Mavridou, Anastasia %A Katsaros, Panagiotis %A Bliudze, Simon %A Sifakis, Joseph %D 2018 %J J. Syst. Softw. %K dblp %P 52-78 %T Early validation of system requirements and design through correctness-by-construction. %U http://dblp.uni-trier.de/db/journals/jss/jss145.html#StachtiariMKBS18 %V 145

@article{journals/jss/StachtiariMKBS18, added-at = {2020-02-24T00:00:00.000+0100}, author = {Stachtiari, Emmanouela and Mavridou, Anastasia and Katsaros, Panagiotis and Bliudze, Simon and Sifakis, Joseph}, biburl = {https://www.bibsonomy.org/bibtex/2ae6e0e3aeb87370563176b80654d9d81/dblp}, ee = {https://doi.org/10.1016/j.jss.2018.07.053}, interhash = {21eb526438b819f0dbeeb2dbd8b06546}, intrahash = {ae6e0e3aeb87370563176b80654d9d81}, journal = {J. Syst. Softw.}, keywords = {dblp}, pages = {52-78}, timestamp = {2020-02-25T13:43:14.000+0100}, title = {Early validation of system requirements and design through correctness-by-construction.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss145.html#StachtiariMKBS18}, volume = 145, year = 2018 }