Semantic models for the security of sequential and concurrent programs

Loading edition detail...

Preparing this view.

Semantic models for the security of sequential and concurrent programs

Andrei Sabelfeld

Bookitis Pick

Semantic models for the security of sequential and concurrent...Andrei Sabelfeld

Andrei SabelfeldPublished 2001

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	Dept. of Computing Science, Göteburg Univ.
Pages	149
Search language	english
ISBN_10	9-162-84852-6 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

No other linked editions are currently available for this work in the active snapshot.