000			00661nam a2200145Ia 4500
008			191030s9999 xx 000 0 und d
020			_a9783319488691
100			_aSandrine Blazy, Marsha Chechik
245		0	_aVerified Software. Theories, Tools, and Experiments
260			_bSpringer _c2016
440			_aLecture Notes in Computer Science
653			_aSoftware Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Programming Techniques; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics)
856			_uhttp://link.springer.com/openurl?genre=book&isbn=978-3-319-48868-4
942			_cEB
999			_c43525 _d43525