Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing.

Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun

Browse the full ICSE paper archive.