Search results for: Claude Kaiser
Lecture Notes in Computer Science > Reliable Software Technologies — Ada-Europe 2003 > Static Analysis > 168-181
Lecture Notes in Computer Science > Reliable Software Technology – Ada-Europe 2005 > Formal Methods > 91-104
Virus Research > 2005 > 108 > 1-2 > 225-229
Journal of Immunological Methods > 2004 > 286 > 1-2 > 155-166
Comparative Immunology, Microbiology and Infectious Diseases > 2002 > 25 > 5-6 > 309-320