by Diskin, Zinovy, Maibaum, Tom
Published in Electronic proceedings in theoretical computer science (21.08.2012)

by Gruner, Stefan, Kumar, Apurva, Maibaum, Tom, Roggenbach, Markus
Year of Publication 2020

by Castro, Pablo F., Maibaum, Tom S. E.
Published in Recent Trends in Algebraic Development Techniques (2012)

by Kokaly, Sahar, Salay, Rick, Chechik, Marsha, Lawford, Mark, Maibaum, Tom
Published in Computer Safety, Reliability, and Security (2017)

by Maibaum, Tom
Published in Software Engineering and Formal Methods (2014)

by Patcas, Lucian M., Lawford, Mark, Maibaum, Tom
Published in Science of computer programming (01.11.2015)

by Hutchison, David, Kanade, Takeo, Kittler, Josef
Year of Publication 2008

by Safilian, Aliakbar, Maibaum, Tom, Diskin, Zinovy
Published in Journal of logical and algebraic methods in programming (01.06.2018)

by Diskin, Zinovy, Kokaly, Sahar, Maibaum, Tom
Published in Software Language Engineering (2013)

by Chen, Wen, Wassyng, Alan, Maibaum, Tom
Published in Product-Focused Software Process Improvement (2014)

by Maibaum, T., Wassyng, A.
Published in Computer (Long Beach, Calif.) (01.02.2008)

by Safilian, Aliakbar, Maibaum, Tom, Diskin, Zinovy
Published in FM 2015: Formal Methods (2015)

by Mossakowski, Till, Krumnack, Ulf, Maibaum, Tom
Published in Recent Trends in Algebraic Development Techniques (2015)

by Cuellar, Jorge, Maibaum, Tom
Year of Publication 08.05.2008

by Cuellar, Jorge, Maibaum, Tom
Year of Publication 2008

by Gruner, Stefan, Kumar, Apurva, Maibaum, Tom
Published in Formal Techniques for Safety-Critical Systems (2016)

by Gruner, Stefan, Kumar, Apurva, Maibaum, Tom, Roggenbach, Markus
Published in On the Construction of Engineering Handbooks (2020)

by Gruner, Stefan, Kumar, Apurva, Maibaum, Tom, Roggenbach, Markus
Published in On the Construction of Engineering Handbooks (2020)

by Gruner, Stefan, Kumar, Apurva, Maibaum, Tom, Roggenbach, Markus
Published in On the Construction of Engineering Handbooks (2020)

by Gruner, Stefan, Kumar, Apurva, Maibaum, Tom, Roggenbach, Markus
Published in On the Construction of Engineering Handbooks (2020)