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
    ...