Andrew Lawrence

Electronic Communications of the EASST No \ volume defined ! No \ volumetitle defined ! Verification of Railway Interlockings in Scade

M. Seisenberger, Andrew Lawrence, 2010 .

Verification of the European Rail Traffic Management System in Real-Time Maude

Ulrich Berger, Monika Seisenberger, Markus Roggenbach, 2017, Sci. Comput. Program..

Extracting verified decision procedures: DPLL and Resolution

Ulrich Berger, Monika Seisenberger, Fredrik Nordvall Forsberg, 2015, Log. Methods Comput. Sci..

Extracting a DPLL Algorithm

Ulrich Berger, Monika Seisenberger, Andrew Lawrence, 2012, MFPS.