Introduction to Special Issue on Distributed and Mobile Software Engineering
CODE WEAVE
Formulae Meet Programs Over the Net
Model Checking for Combined Logics with an Application to Mobile Systems*
Desert Island Column