Conference
Προβολή σε EDS

Program result-checking: a theory of testing meets a test of theory

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Program result-checking: a theory of testing meets a test of theory
Συγγραφείς: Blum, M., Wasserman, H.
Πηγή: Proceedings 35th Annual Symposium on Foundations of Computer Science Computer science foundations Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on. :382-392 1994
Relation: Proceedings 35th Annual Symposium on Foundations of Computer Science
Βάση Δεδομένων: IEEE Xplore Digital Library
FullText Text:
  Availability: 0
Header DbId: edseee
DbLabel: IEEE Xplore Digital Library
An: edseee.365678
RelevancyScore: 938
AccessLevel: 2
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 938.469543457031
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Program result-checking: a theory of testing meets a test of theory
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Blum%2C+M%2E%22">Blum, M.</searchLink><br /><searchLink fieldCode="AR" term="%22Wasserman%2C+H%2E%22">Wasserman, H.</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: Proceedings 35th Annual Symposium on Foundations of Computer Science Computer science foundations Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on. :382-392 1994
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: Proceedings 35th Annual Symposium on Foundations of Computer Science
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edseee&AN=edseee.365678
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/SFCS.1994.365678
    PhysicalDescription:
      Pagination:
        PageCount: 11
        StartPage: 382
    Titles:
      – TitleFull: Program result-checking: a theory of testing meets a test of theory
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Blum, M.
      – PersonEntity:
          Name:
            NameFull: Wasserman, H.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 1994
          Identifiers:
            – Type: isbn-print
              Value: 0818665807
            – Type: isbn-print
              Value: 9780818665806
            – Type: issn-locals
              Value: edseee.IEEEConferenc
          Titles:
            – TitleFull: Proceedings 35th Annual Symposium on Foundations of Computer Science, Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on, Computer science foundations
              Type: main
ResultId 1