A logic for information flow in object-oriented programs

Saved in:
Bibliographic Details
Main Authors: AMTOFT, Torben, BANDHAKAVI, Sruthi, BANERJEE, Anindya
Format: Conference Proceeding
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Language theory and syntactical analysis
Software
Software engineering
Theoretical computing
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:1523-2867