Nettsider med emneord «Logic»

Publisert 9. juni 2016 10:56

The work of Bjørnar Luteberget, Christian Johansen, and Martin Steffen (from PMA and ConSeRNS groups at IFI) won the Best Paper Award at the 12th International Conference on Integrated Formal Methods, which was held in Iceland in June.

Publisert 30. nov. 2010 23:20
Publisert 30. nov. 2010 23:20
Publisert 4. nov. 2010 13:54
Publisert 4. nov. 2010 14:18
Publisert 4. nov. 2010 13:45