Photo of Sophie Fortz

Sophie Fortz

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20202020

Research activity per year

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Sophie Fortz is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 6 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or
  • 1 Conference contribution

  • An SMT-Based Concolic Testing Tool for Logic Programs

    Fortz, S., Mesnard, F., Payet, E., Perrouin, G., Vanhoof, W. & Vidal, G., 2020, Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Proceedings. Nakano, K. & Sagonas, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 215-219 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12073 LNCS).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    2 Downloads (Pure)
  • 1 Participation in workshop, seminar, course
Your message has successfully been sent.
Your message was not sent due to an error.
If you made any changes in Pure these will be visible here soon.