Websites linking back to domagoj-babic.com
3 websites are linking back to domagoj-babic.com in their content.
Total results: 3
Domains on this page: 3
Results:
Logictoolshttp://portalrankings.com/info/logictools.org
Simple propositional logic solvers: easy to hack and experiment with.
- Google Analytics code: 61132529-1
- Updated On (Date): 2017-Mar-25
- Expiration time: 2018-Mar-24
- Website Registered On (Date): 2015-Mar-24
Domagoj Babic's Home Page | Main / Domagoj Babic's Home Pagehttp://portalrankings.com/info/domagoj-babic.com
Domagoj Babic is a computer scientist. His research interests include verification, testing, and security of complex software (and hardware) systems, automated inference of system models, design and verification of distributed systems, and applied formal methods in general.
- Known AddThis user account ID: domagoj
- Google+ User ID: 117787081932220171479
- Google Analytics code: 1381298-1
- Updated On (Date): 2017-Jul-19
- Expiration time: 2018-Aug-07
- Website Registered On (Date): 2008-Aug-07