Showing
1 - 3
results of
3
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Kiniry, Joe
Search Results - Kiniry, Joe
Showing
1 - 3
results of
3
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
An overview of JML tools and applications
by
Burdy, Lilian
,
Cheon, Yoonsik
,
Cok, David
,
Ernst, Michael D.
,
Kiniry, Joe
,
Leavens, Gary T.
,
Rustan, K.
,
Leino, M.
,
Poll, Erik
Published in
Electronic notes in theoretical computer science
Get full text
Article
Save to List
Saved in:
2
Loading…
An overview of JML tools and applications1 1www.jmlspecs.org
by
Burdy, Lilian
,
Cheon, Yoonsik
,
Cok, David
,
Ernst, Michael D.
,
Kiniry, Joe
,
Leavens, Gary T.
,
Rustan, K.
,
Leino, M.
,
Poll, Erik
Published in
Electronic notes in theoretical computer science
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
3
Loading…
Antibody Persistence through 6 Months after the Second Dose of mRNA-1273 Vaccine for Covid-19
by
Doria-Rose, Nicole
,
Suthar, Mehul S
,
Makowski, Mat
,
Sarah O’Connell
,
McDermott, Adrian B
,
Flach, Britta
,
Ledgerwood, Julie E
,
Mascola, John R
,
Graham, Barney S
,
Lin, Bob C
,
Sijy O’Dell
,
Schmidt, Stephen D
,
Widge, Alicia T
,
Venkata-Viswanadh Edara
,
Anderson, Evan J
,
Lai, Lilin
,
Floyd, Katharine
,
Rouphael, Nadine G
,
Zarnitsyna, Veronika
,
Roberts, Paul C
,
Makhene, Mamodikoe
,
Buchanan, Wendy
,
Luke, Catherine J
,
Beigel, John H
,
Jackson, Lisa A
,
Neuzil, Kathleen M
,
Hamilton, Bennett
,
Leav, Brett
,
Albert, Jim
,
Pratap Kunwar
Published in
New England Journal of Medicine
Request full text
Items that cite this one
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
1 results
1
Full Text
3 results
3
Format
Articles
3 results
3
Journal Title
Electronic Notes In Theoretical Computer Science
2 results
2
New England Journal Of Medicine
1 results
1
The New England Journal Of Medicine
1 results
1
Subjects
2019-Ncov Vaccine Mrna-1273
1 results
1
Adult
1 results
1
Age
1 results
1
Aged
1 results
1
Antibodies
1 results
1
Antibodies, Neutralizing - Blood
1 results
1
Antibodies, Viral - Blood
1 results
1
Coronaviruses
1 results
1
Covid-19
1 results
1
Covid-19 - Immunology
1 results
1
Covid-19 Vaccines
1 results
1
Covid-19 Vaccines - Immunology
1 results
1
Formal Methods
1 results
1
Formal Specification
1 results
1
General & Internal Medicine
1 results
1
Half-Life
1 results
1
Humans
1 results
1
Java
1 results
1
Life Sciences & Biomedicine
1 results
1
Medical Research
1 results
1
Year of Publication
From:
To:
Source
Ezb Electronic Journals Library
3 results
3
Bacon - Elsevier - Global Sciencedirect-Openaccess
2 results
2
Sciencedirect Journals
2 results
2
Road: Directory Of Open Access Scholarly Resources
2 results
2
Coronavirus Research Database
1 results
1