APA Citation

Cai, V. (2024). Show Me How It's Wrong: Counterexample Visualisation in Static Railway Verification. Swansea University, Wales, UK.

Chicago Style Citation

Cai, Victor. Show Me How It's Wrong: Counterexample Visualisation in Static Railway Verification. Swansea University, Wales, UK, 2024.

MLA Citation

Cai, Victor. Show Me How It's Wrong: Counterexample Visualisation in Static Railway Verification. Swansea University, Wales, UK, 2024.

Warning: These citations may not always be 100% accurate.