Showing 1 - 2 results of 2 for search 'Mohamed Mezghiche', query time: 0.02s Refine Results
  1. 1
    Formal verification of a proof procedure for the description logic ALC

    Formal verification of a proof procedure for the description logic ALC by Martin Strecker, Mohamed Mezghiche, Mohamed Chaabani

    Published 2013-07-01
    Get full text
    Article
  2. 2
    Towards a General Framework for Formal Reasoning about Java Bytecode Transformation

    Towards a General Framework for Formal Reasoning about Java Bytecode Transformation by Jean-Louis Lanet, Mohamed Mezghiche, Razika Lounas

    Published 2013-07-01
    Get full text
    Article

Search Tools: