Researcher, Logic and Types division, Department of Computer Science and Engineering.
ggarcia@chalmers.se +46 31 772 17 95 Find me http://orcid.org/0000-0002-0490-4539
Page manager Published: Mon 23 Apr 2018.
Please fill in a message
Send message
Thanks! We have received your message. If you have left your email address, you will receive a response from the editor-in-chief within 2-3 working days.