Volume 78; Issue 3

Science of Computer Programming

Volume 78; Issue 3
1

Modeling the Java Bytecode Verifier

Reynolds, Mark C.
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 284 KB
english, 2013
2

A personal tribute to Steve Barker

Crampton, Jason
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 128 KB
english, 2013
3

Integration of SMT-solvers in B and Event-B development environments

Déharbe, David
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 1.28 MB
english, 2013
4

Validation of formal models by refinement animation

Hallerstede, Stefan, Leuschel, Michael, Plagge, Daniel
Journal:
Science of Computer Programming
Année:
2013
Langue:
english
Fichier:
PDF, 1.59 MB
english, 2013