Information Systems and Applied Computer Sciences

Software Technologies Research Group

Research

The Software Technologies Group's research encompasses formal techniques in software specification, analysis and verification:

For more details on these research topics and the most up-to-date results, please consult the following external sites: