Showing 1 - 3 results of 3 for search 'Oliveira, Jose N.', query time: 0.03s Refine Results
  1. 1
    FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings /
    Published 2001
    Other Authors: “…Oliveira, Jose N.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Advanced Functional Programming Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures /
    Published 1999
    Other Authors: “…Oliveira, Jose N.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Formal Methods - The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings /
    Published 2019
    Other Authors: “…Oliveira, José N.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search