by Hunt, John
Year of Publication 2019

by Hunt, John
Year of Publication 2019

by Dütting, Paul, Kleinberg, Robert
Published in Algorithms - ESA 2015 (2015)

by Tang, Antony, van Vliet, Hans
Published in Software Architecture (01.01.2015)

by Roehm, Hendrik, Oehlerking, Jens, Heinz, Thomas, Althoff, Matthias
Published in Automated Technology for Verification and Analysis (2016)

by Ashenden, Peter J.
Year of Publication 2008

by Jones, Cliff, Wang, Ji, Zhan, Naijun
Year of Publication 2018

by Watson, Des
Year of Publication 2017

by Black, Elizabeth, Modgil, Sanjay, Oren, Nir
Year of Publication 2018

by Gulan, Stefan, Harnisch, Jens, Johr, Sven, Kretschmer, Roberto, Rieger, Stefan, Zalman, Rafael
Published in Computer Safety, Reliability, and Security (2015)

by Li, Yue, Tan, Tian, Xue, Jingling
Published in Lecture notes in computer science (2015)

by Shmarov, Fedor, Zuliani, Paolo
Published in Hardware and Software: Verification and Testing (2016)

by Gauvin, Gary
Year of Publication 2015

by Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don
Year of Publication 2016

by Liu, Shaoying, Duan, Zhenhua
Year of Publication 2016

by Simos, Dimitris E., Kleine, Kristoffer, Ghandehari, Laleh Shikh Gholamhossein, Garn, Bernhard, Lei, Yu
Published in Lecture notes in computer science (2016)

by Gookin, Dan, Geisler, Sandra
Year of Publication 01.01.2014

by Garanina, Natalia, Sidorova, Elena, Bodin, Eugene
Published in Perspectives of System Informatics (2015)

by Etscheid, Michael, Röglin, Heiko
Published in Algorithms - ESA 2015 (2015)

by Smith, David W
Year of Publication 2013