Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Both sides next revision | ||
start [2015/10/18 09:42] ptm | start [2021/09/23 08:51] (current) | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Welcome to the FM Wiki====== | ====== Welcome to the FM Wiki====== | ||
- | Welcome to the FM Wiki at http://fm.kis.agh.edu.pl. This Wiki is used to keep track of several Research Projects related to Formal Methods that are carried out in [[http://cslab.ia.agh.edu.pl|Department of Applied Computer Science]] at | + | Welcome to the FM Wiki at http://alvis.kis.agh.edu.pl. This Wiki is used to keep track of several Research Projects related to Formal Methods that are carried out in [[http://www.kis.agh.edu.pl|Department of Applied Computer Science]] at |
[[http:// | [[http:// | ||