Search Results - Alexandre Madeira

  • Showing 1 - 5 results of 5
Refine Results
  1. 1

    Generalising KAT to Verify Weighted Computations by Leandro Gomes, Alexandre Madeira, Luis S. Barbosa

    Published in Scientific Annals of Computer Science (2019-12-01)
    Get full text
    Article


  2. 2

    A logic for n-dimensional hierarchical refinement by Alexandre Madeira, Manuel A. Martins, Luís S. Barbosa

    Get full text
    Article


  3. 3

    The role of logical interpretations in program development by Manuel A. Martins, Alexandre Madeira, Luis S. Barbosa

    Published in Logical Methods in Computer Science (2014-01-01)
    Get full text
    Article


  4. 4

    Bisimilarity and refinement for hybrid(ised) logics by Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa

    Get full text
    Article


  5. 5

    Refinement by interpretation in π-institutions by Alexandre Madeira, Manuel A. Martins, César Rodrigues, Luis S. Barbosa

    Get full text
    Article


Search Tools: