Machines, Computations, and Universality : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings. 9288:3-16
Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings. 8318:322-336
Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies