Conference
View in EDS

Integrating formal methods and testing for concurrent programs

Bibliographic Details
Title: Integrating formal methods and testing for concurrent programs
Authors: Carver, R.H., Durham, R.
Source: COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' Computer assurance Computer Assurance, 1995. COMPASS '95. Systems Integrity, Software Safety and Process Security. Proceedings of the Tenth Annual Conference on. :25-33 1995
Relation: COMPASS '95. Proceedings of the Tenth Annual Conference on Computer Assurance
Database: IEEE Xplore Digital Library
FullText Text:
  Availability: 0
Header DbId: edseee
DbLabel: IEEE Xplore Digital Library
An: edseee.521884
RelevancyScore: 940
AccessLevel: 2
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 939.799560546875
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Integrating formal methods and testing for concurrent programs
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Carver%2C+R%2EH%2E%22">Carver, R.H.</searchLink><br /><searchLink fieldCode="AR" term="%22Durham%2C+R%2E%22">Durham, R.</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' Computer assurance Computer Assurance, 1995. COMPASS '95. Systems Integrity, Software Safety and Process Security. Proceedings of the Tenth Annual Conference on. :25-33 1995
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: COMPASS '95. Proceedings of the Tenth Annual Conference on Computer Assurance
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edseee&AN=edseee.521884
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/CMPASS.1995.521884
    PhysicalDescription:
      Pagination:
        PageCount: 9
        StartPage: 25
    Titles:
      – TitleFull: Integrating formal methods and testing for concurrent programs
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Carver, R.H.
      – PersonEntity:
          Name:
            NameFull: Durham, R.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 1995
          Identifiers:
            – Type: issn-locals
              Value: edseee.IEEEConferenc
          Titles:
            – TitleFull: COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security', Computer Assurance, 1995. COMPASS '95. Systems Integrity, Software Safety and Process Security. Proceedings of the Tenth Annual Conference on, Computer assurance
              Type: main
ResultId 1