New pages
- 18:28, 20 March 2019 Paris, April 29th and 30th (hist) [4,269 bytes] Radu iosif (Talk | contribs) (Created page with "'''Stephane Demri''': ''Modal Separation Logics and Friends'' Separation logic is known as an assertion language to perform verification, by extending Hoare-Floyd logic in o...")
- 19:56, 19 March 2019 Cachan, April 29th and 30th (hist) [3,293 bytes] Radu iosif (Talk | contribs) (Created page with "Stephane Demri: ''Modal Separation Logics and Friends'' Separation logic is known as an assertion language to perform verification, by extending Hoare-Floyd logic in order t...")
- 19:52, 19 March 2019 Friends of Separation Logic (hist) [795 bytes] Radu iosif (Talk | contribs) (Created page with "Friends of Separation Logic (FOSL) is an informal working group on topics related to Separation Logic (SL), such as: * extensions of SL and relations with other logics (firs...")
- 17:46, 6 November 2018 Lat18/feedback (hist) [21 bytes] Radu iosif (Talk | contribs) (Created page with "<?php class SpecialTestForm extends SpecialPage { public function __construct() { parent::__construct( 'TestForm' ); } public function execute( $par ) { $this->getOut...")
- 20:46, 16 September 2018 Lat18 (hist) [3,796 bytes] Radu iosif (Talk | contribs) (Created page with "=== Logic and Automata Theory === '''Lecturer''': [http://nts.imag.fr/index.php/Radu_Iosif Radu_Iosif] '''Objectives''': Many major hardware (Intel, IBM) and software (Micr...")
