Khaled Bsaies

From MaRDI portal
Person:444372

Available identifiers

zbMath Open bsaies.khaledMaRDI QIDQ444372

List of research outcomes





PublicationDate of PublicationType
Invariant functions and invariant relations: an alternative to invariant assertions2012-11-12Paper
A versatile concept for the analysis of loops2012-08-14Paper
Computing Preconditions and Postconditions of While Loops2012-01-06Paper
Relational Methods in the Analysis of While Loops: Observations of Versatility2009-12-11Paper
Logic Based Program Synthesis and Transformation2005-12-27Paper
Appropriate lemmae discovery2004-08-06Paper
https://portal.mardi4nfdi.de/entity/Q44704392004-07-01Paper
https://portal.mardi4nfdi.de/entity/Q44704432004-07-01Paper
https://portal.mardi4nfdi.de/entity/Q43410241997-06-16Paper

Research outcomes over time

This page was built for person: Khaled Bsaies

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:444372&oldid=10801678"
Powered by MediaWiki