BibSonomy :: publication :: Enabling the runtime assertion checking of concurrent contracts for the Java modeling language.

publication

For this resource no community post has been created yet. Community posts are created and improved by the community of all users.

create community post
    Please log in to take part in the discussion (add own reviews or comments).
      No matching posts.
    • ⟨⟨
    • ⟩⟩

    publications  1