Vérification et sécurité du logiciel
Gilles Barthe,Marieke Huisman,Benjamin Gregoire,Nathalie Bellesso, Julien Charles, Clement Hurlin,Allard Kakebeen,Cesar Kunz, Mariela Pavlova,Tamara Rezk,Sabrina Tarento,Santiago Zanella, Julien Forest, Romain Janvier, Yu Zhang, Sophie Hadjadj, Anne Pacalet,David Pichardie,Salvador Cavadini, Fernando Pastawski, Gustavo Petri, Alejandro Tamalet mag（2006）
AI 理解论文
溯源树
样例
