Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Nguyen, Huu Hai"" wg kryterium: Autor


Wyświetlanie 1-16 z 16
Tytuł:
Enhancing Program Verification with Lemmas
Autorzy:
Nguyen, Huu Hai
Chin, Wei-Ngan
Pokaż więcej
Źródło:
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings. 5123:355-369
Książka elektroniczna
Tytuł:
Runtime Checking for Separation Logic
Autorzy:
Nguyen, Huu Hai
Kuncak, Viktor
Chin, Wei-NganAff1, Aff3
Pokaż więcej
Źródło:
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings. 4905:203-217
Książka elektroniczna
Tytuł:
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
Autorzy:
Kuncak, Viktor
Nguyen, Huu Hai
Rinard, MartinAff19, Aff20
Pokaż więcej
Źródło:
Automated Deduction – CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings. 3632:260-277
Książka elektroniczna
Tytuł:
Automated Verification of Shape and Size Properties Via Separation Logic.
Autorzy:
Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Cook, Byron
Podelski, Andreas
Nguyen, Huu Hai
David, Cristina
Qin, Shengchao
Pokaż więcej
Źródło:
Verification, Model Checking & Abstract Interpretation (978-3-540-69735-0); 2007, p251-266, 16p
Książka
    Wyświetlanie 1-16 z 16

    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