Sidebar

Main

Internal

Trace:
Trace: • people • old • sidebar • start • cov_cpntools • software

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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://www.agh.edu.pl|AGH University of Science and Technology]]. The **Formal Methods Research Group** is led by Prof. Marcin Szpyrka.  [[http://www.agh.edu.pl|AGH University of Science and Technology]]. The **Formal Methods Research Group** is led by Prof. Marcin Szpyrka. 
  
© Marcin Szpyrka 2008-2025