The following papers are related with GamaBoogie and its theoretical aspects:
- A Visual Inspector for Boogie Programs. Márcio Coelho, Daniela da Cruz, Pedro R. Henriques and Jorge S. Pinto ...
The following papers are related with GamaBoogie and its theoretical aspects: