المؤلفون: von Hippel, Max, Manolios, Panagiotis, McMillan, Kenneth L., Nita-Rotaru, Cristina, Zuck, Lenore

المصدر: EPTCS 393, 2023, pp. 50-66

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Mathematical Software

URL الوصول: http://arxiv.org/abs/2311.08855

المؤلفون: Padon, Oded, Hoenicke, Jochen, McMillan, Kenneth L., Podelski, Andreas, Sagiv, Mooly, Shoham, Sharon

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2106.00966

المؤلفون: McMillan, Kenneth L.

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Statistics - Machine Learning, I.2

URL الوصول: http://arxiv.org/abs/2004.04198

المؤلفون: Komuravelli, Anvesh, Bjorner, Nikolaj, Gurfinkel, Arie, McMillan, Kenneth L.

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/1508.01288

المؤلفون: Padon, Oded, Wilcox, James R., Koenig, Jason R., McMillan, Kenneth L., Aiken, Alex

المساهمون: NSF

المصدر: Proceedings of the ACM on Programming Languages ; volume 6, issue POPL, page 1-29 ; ISSN 2475-1421

الاتاحة: http://dx.doi.org/10.1145/3498712
https://dl.acm.org/doi/pdf/10.1145/3498712

المؤلفون: Jhala, Ranjit, McMillan, Kenneth L.

المصدر: Logical Methods in Computer Science, Volume 3, Issue 4 (November 1, 2007) lmcs:1152

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Computer Science - Software Engineering, D.2.4, F.3.1

URL الوصول: http://arxiv.org/abs/0706.0523

المؤلفون: McMillan, Kenneth L., Padon, Oded

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 190-202 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030532901 9783030532918

الاتاحة: http://dx.doi.org/10.1007/978-3-030-53291-8_12
http://link.springer.com/content/pdf/10.1007/978-3-030-53291-8_12

المؤلفون: McMillan, Kenneth L., Zuck, Lenore D.

المساهمون: National Science Foundation

المصدر: Proceedings of the ACM Special Interest Group on Data Communication

الاتاحة: http://dx.doi.org/10.1145/3341302.3342087
https://dl.acm.org/doi/pdf/10.1145/3341302.3342087

المؤلفون: Vick, Cole, McMillan, Kenneth L.

المصدر: Lecture Notes in Computer Science ; Verification, Model Checking, and Abstract Interpretation ; page 320-340 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031249495 9783031249501

الاتاحة: http://dx.doi.org/10.1007/978-3-031-24950-1_15
https://link.springer.com/content/pdf/10.1007/978-3-031-24950-1_15

المؤلفون: von Hippel, Max, McMillan, Kenneth L., Nita-Rotaru, Cristina, Zuck, Lenore D.

المصدر: Networked Systems ; Lecture Notes in Computer Science ; page 43-61 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031377648 9783031377655

الاتاحة: http://dx.doi.org/10.1007/978-3-031-37765-5_4
https://link.springer.com/content/pdf/10.1007/978-3-031-37765-5_4

المؤلفون: McMillan, Kenneth L.

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 191-208 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319961446 9783319961453

الاتاحة: http://dx.doi.org/10.1007/978-3-319-96145-3_11
http://link.springer.com/content/pdf/10.1007/978-3-319-96145-3_11

المؤلفون: Taube, Marcelo, Losa, Giuliano, McMillan, Kenneth L., Padon, Oded, Sagiv, Mooly, Shoham, Sharon, Wilcox, James R., Woos, Doug

المساهمون: Horizon 2020, National Science Foundation, Blavatnik Family Foundation, United States-Israel Binational Science Foundation, European Research Council, Pazi

المصدر: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation

الاتاحة: http://dx.doi.org/10.1145/3192366.3192414
https://dl.acm.org/doi/pdf/10.1145/3192366.3192414

المؤلفون: Tamir, Orr, Taube, Marcelo, McMillan, Kenneth L., Shoham, Sharon, Howell, Jon, Gueta, Guy, Sagiv, Mooly

المساهمون: European Union's Horizon 2020 research and innovation programme, Israeli Science Foundation

المصدر: Proceedings of the ACM on Programming Languages ; volume 7, issue OOPSLA2, page 1878-1904 ; ISSN 2475-1421

الاتاحة: http://dx.doi.org/10.1145/3622864
https://dl.acm.org/doi/pdf/10.1145/3622864

المؤلفون: Wang, Wenxi, Hu, Yang, McMillan, Kenneth L., Khurshid, Sarfraz

المصدر: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

الاتاحة: http://dx.doi.org/10.1145/3540250.3549161
https://dl.acm.org/doi/pdf/10.1145/3540250.3549161

المؤلفون: McMillan, Kenneth L.

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 243-259 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319088662 9783319088679

الاتاحة: http://dx.doi.org/10.1007/978-3-319-08867-9_16
http://link.springer.com/content/pdf/10.1007/978-3-319-08867-9_16

المؤلفون: Albarghouthi, Aws, McMillan, Kenneth L.

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 313-329 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642397981 9783642397998

الاتاحة: http://dx.doi.org/10.1007/978-3-642-39799-8_22
http://link.springer.com/content/pdf/10.1007/978-3-642-39799-8_22

المؤلفون: McMillan, Kenneth L.

المصدر: Static Analysis ; Lecture Notes in Computer Science ; page 1-1 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642237010 9783642237027

الاتاحة: http://dx.doi.org/10.1007/978-3-642-23702-7_1
http://link.springer.com/content/pdf/10.1007/978-3-642-23702-7_1

المؤلفون: Jhala, Ranjit, McMillan, Kenneth L.

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 396-410 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540423454

الاتاحة: http://dx.doi.org/10.1007/3-540-44585-4_40

المؤلفون: McMillan, Kenneth L.

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 104-118 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642142949 9783642142956

الاتاحة: http://dx.doi.org/10.1007/978-3-642-14295-6_10
http://link.springer.com/content/pdf/10.1007/978-3-642-14295-6_10

المؤلفون: McMillan, Kenneth L., Kuehlmann, Andreas, Sagiv, Mooly

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 462-476 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642026577 9783642026584

الاتاحة: http://dx.doi.org/10.1007/978-3-642-02658-4_35
http://link.springer.com/content/pdf/10.1007/978-3-642-02658-4_35