Bibliografías temáticas / Veriflex / Artículos de revistas
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Veriflex.

Artículos de revistas sobre el tema "Veriflex"

Autor: Grafiati
Publicado: 4 de junio de 2021
Última modificación: 19 de febrero de 2022

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Veriflex".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Yaşa, Dilek y Alper Ağca. "Verisyse versus Veriflex Phakic Intraocular Lenses: Refractive Outcomes and Endothelial Cell Density 5 Years after Surgery". Journal of Ophthalmology 2018 (30 de septiembre de 2018): 1–8. http://dx.doi.org/10.1155/2018/4210460.

Texto completo
Resumen
Purpose. To compare refractive stability, central endothelial cell density (ECD), and complications between Verisyse (Abbott Medical Optics, Netherlands) and Veriflex (Abbott Medical Optics, Netherlands) phakic intraocular lenses (pIOL) over five years.Methods. We retrospectively reviewed the medical records of patients who underwent Verisyse or Veriflex pIOL implantation for surgical correction of myopia. Patients with a 5-year follow-up period were included in the study. Uncorrected distance visual acuity (UDVA), corrected distance visual acuity (CDVA), spherical equivalent of manifest refraction (SE), and ECD were compared between the groups preoperatively and 1, 3, and 5 years postoperatively.Results. The study included 47 eyes in the Verisyse group and 50 eyes in the Veriflex group. There was no significant difference in mean SE, UDVA, CDVA, and ECD preoperatively or postoperatively. In both groups, there was a statistically significant myopic shift between 1-year and 5-year visits (−0.25 ± 0.30 D and −0.23 ± 0.48 D in the Verisyse and Veriflex groups, respectively). There was no significant difference between the groups in terms of efficacy and safety indexes at 5 years. ECD loss was highest during the first year (3.9% loss in the Verisyse group and 3.9% loss in the Veriflex group,p=0.670). At 5 years, the mean cumulative ECD losses in the Verisyse and Veriflex groups were 7.42% and 7.64%, respectively (p=0.709). Cataracts developed in 2.1% of the eyes in the Verisyse group and in 2.0% of those in the Veriflex group. No sight-threatening complications were observed.Conclusion. Verisyse and Veriflex pIOLs are highly effective for treating high myopia up to 5 years after surgery. Longitudinal studies with longer follow-up periods are necessary to determine the endothelial safety profile.
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

McClung, Amber J. W., Gyaneshwar P. Tandon y Jeffery W. Baur. "Deformation rate-, hold time-, and cycle-dependent shape-memory performance of Veriflex-E resin". Mechanics of Time-Dependent Materials 17, n.º 1 (19 de noviembre de 2011): 39–52. http://dx.doi.org/10.1007/s11043-011-9157-6.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Pjano, Melisa, Alma Biscevic, Senad Grisevic, Ajla Pidro, Mirko Ratkovic, Maja Bohac, Amila Husovic y Refet Gojak. "One Year Follow-Up After Veriflex Phakic Intraocular Lenses Implantation for Correction of Myopia". Acta Informatica Medica 24, n.º 3 (2016): 178. http://dx.doi.org/10.5455/aim.2016.24.178-181.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Awadein, Ahmed y Ahmed E. Habib. "ICL Versus Veriflex Phakic IOL for Treatment of Moderately High Myopia: Randomized Paired-Eye Comparison". Journal of Refractive Surgery 29, n.º 7 (1 de julio de 2013): 445–52. http://dx.doi.org/10.3928/1081597x-20130617-02.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Butaud, P., V. Placet, J. Klesa, M. Ouisse, E. Foltête y X. Gabrion. "Investigations on the frequency and temperature effects on mechanical properties of a shape memory polymer (Veriflex)". Mechanics of Materials 87 (agosto de 2015): 50–60. http://dx.doi.org/10.1016/j.mechmat.2015.04.002.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Chowdhury, A. M. Sarwaruddin, Christina Schmidt, Klaus Neuking y Gunther Eggeler. "Comparative studies on the accumulation of strain and recovery ratio of Veriflex®, a shape-memory polymer". High Performance Polymers 25, n.º 8 (30 de mayo de 2013): 886–93. http://dx.doi.org/10.1177/0954008313487929.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

McClung, Amber J. W., Gyaneshwar P. Tandon y Jeffery W. Baur. "Strain rate- and temperature-dependent tensile properties of an epoxy-based, thermosetting, shape memory polymer (Veriflex-E)". Mechanics of Time-Dependent Materials 16, n.º 2 (6 de agosto de 2011): 205–21. http://dx.doi.org/10.1007/s11043-011-9148-7.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Bohac, Maja, Marija Anticic, Natasa Draca, Bojan Kozomara, Iva Dekaris, Nikica Gabric y Sudi Patel. "Comparison of Verisyse and Veriflex Phakic Intraocular Lenses for Treatment of Moderate to High Myopia 36 Months after Surgery". Seminars in Ophthalmology 32, n.º 6 (3 de agosto de 2016): 725–33. http://dx.doi.org/10.3109/08820538.2016.1170163.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Chowdhury, A. M. Sarwaruddin, Christina Schmidt, Klaus Neuking y Gunther Eggeler. "Comparative Studies on Thermomechanical Behavior of Veriflex®, a Shape Memory Polymer, for a Low Strain (ϵm= 70%): Laser Experiments". Journal of Macromolecular Science, Part A 48, n.º 9 (septiembre de 2011): 707–12. http://dx.doi.org/10.1080/10601325.2011.596049.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Kondratyev, D. A. y A. V. Promsky. "Towards the ’Verified Verifier’. Theory and Practice". Modeling and Analysis of Information Systems 21, n.º 6 (1 de enero de 2014): 71–82. http://dx.doi.org/10.18255/1818-1015-2014-6-71-82.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Vilaseca, Meritxell, Adenay Padilla, Jaume Pujol, Juan C. Ondategui, Pablo Artal y Jose L. Güell. "Optical Quality One Month After Verisyse and Veriflex Phakic IOL Implantation and Zeiss MEL 80 LASIK for Myopia from 5.00 to 16.50 Diopters". Journal of Refractive Surgery 25, n.º 8 (1 de agosto de 2009): 689–98. http://dx.doi.org/10.3928/1081597x-20090707-03.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Chowdhury, A. M. Sarwaruddin, Christina Schmidt, Klaus Neuking y Gunther Eggeler. "Comparative studies on the accumulation of strain and recovery ratio of Veriflex®, a shape-memory polymer for a high strain (∊m = 210%)". High Performance Polymers 26, n.º 1 (9 de julio de 2013): 20–26. http://dx.doi.org/10.1177/0954008313494907.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Fischinger, Isaak R., Jascha Wendelstein, Kristin Tetz, Matthias Bolz y Manfred R. Tetz. "Toric phakic IOLs in keratoconus—evaluation of preoperative parameters on the outcome of phakic anterior chamber lens implantation in patients with keratoconus". Graefe's Archive for Clinical and Experimental Ophthalmology 259, n.º 6 (19 de enero de 2021): 1643–49. http://dx.doi.org/10.1007/s00417-020-05041-8.

Texto completo
Resumen
Abstract Purpose To evaluate the influence of the type of the keratectasia and preoperative keratometry readings on the efficacy of implantation of iris-fixated phakic anterior chamber intraocular lenses (pIOL) in patients with keratoconus. Methods In this retrospective study, iris-fixated pIOLs (Artisan/Artiflex (Ophtec®), Verisyse/Veriflex (AMO®)) were implanted in 38 eyes of 22 patients with stable keratoconus. Thirty-six eyes underwent corneal crosslinking (CXL) prior to the lens implantation. The refractive outcome was evaluated 6 weeks postoperatively and the influence of preoperative refraction and topo- and tomographical factors were analyzed. Results The mean postoperative uncorrected distance visual acuity (UDVApost) was 0.25 ± 0.15 logMAR and was not statistically different from the mean preoperative corrected distance visual acuity (CDVApre), which was 0.24 ± 0.13 logMAR. Twenty-seven eyes (71%) reached UDVApost/CDVApre ≥ 1 (efficacy index), whereas patients with PMD-like ectasia (n = 14) showed significantly (p = 0.003) higher efficacy index (100%) than patients diagnosed with keratoconus (n = 24) (54%). Higher eccentricity of the maximum posterior elevation showed a significant beneficial influence on the efficacy index (p = 0.021). Furthermore, a higher Amsler-Krumeich stage and preoperative MAE were correlated with a worse UDVApost. The mean absolute spherical equivalent was significantly decreased from 5.71 ± 4.96 D to 1.25 ± 1.20 D (p < 0.001). No significant difference was found in endothelial cell count. Conclusion The results indicate that the implantation of phakic iris-fixated anterior chamber IOLs is a reasonable refractive option for patients with keratoconus. Keratoconus patients with a pellucidal marginal degeneration (PMD)-like appearance ectasia seem to benefit most from such procedures.
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Harvey, Alexis R., Brian T. Young, Joseph F. Golob, Samuel J. Zolin, Jeffrey A. Claridge y Vanessa P. Ho. "ACS-Verifed Trauma Hospitals Outperform Non-Verified Hospitals on Incentive-Driven Reduction of CAUTI". Journal of the American College of Surgeons 229, n.º 4 (octubre de 2019): e219. http://dx.doi.org/10.1016/j.jamcollsurg.2019.08.1326.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Khurshid, Ahmed, Wenxuan Zhou, Matthew Caesar y P. Brighten Godfrey. "Veriflow". ACM SIGCOMM Computer Communication Review 42, n.º 4 (24 de septiembre de 2012): 467–72. http://dx.doi.org/10.1145/2377677.2377766.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Xie, Fei y James C. Browne. "Verified systems by composition from verified components". ACM SIGSOFT Software Engineering Notes 28, n.º 5 (septiembre de 2003): 277–86. http://dx.doi.org/10.1145/949952.940109.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Yu Longkun, 于龙昆, 何冰 He Bing, 沈红 Shen Hong, 温小辉 Wen Xiaohui y 李智祥 Li Zhixiang. "DIMM中计算公式的分析及验证实验". Infrared and Laser Engineering 50, n.º 6 (2021): 20200414. http://dx.doi.org/10.3788/irla20200414.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Stavrou, Angelos y Jeffrey Voas. "Verified Time". Computer 50, n.º 3 (marzo de 2017): 78–82. http://dx.doi.org/10.1109/mc.2017.63.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Leroy, Xavier. "Verified squared". ACM SIGPLAN Notices 46, n.º 1 (26 de enero de 2011): 1–2. http://dx.doi.org/10.1145/1925844.1926387.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

Shi, Zhicai, Xiaomei Zhang y Jin Liu. "The Lightweight RFID Grouping-Proof Protocols with Identity Authentication and Forward Security". Wireless Communications and Mobile Computing 2020 (18 de marzo de 2020): 1–12. http://dx.doi.org/10.1155/2020/8436917.

Texto completo
Resumen
In many fields, multiple RFID tags are often combined into a group to identify an object. An RFID grouping-proof protocol is utilized to prove the simultaneous existence of a group of tags. However, many current grouping-proof protocols cannot simultaneously provide privacy preserving, forward security, and the authentication between reader/verifier and tags, which are vulnerable to trace attack, privacy leakage, and desynchronization attack. To improve the secure performance of the current grouping-proof protocols, we propose two provable lightweight grouping-proof protocols that provide forward security, identity authentication, and privacy preserving. Our protocols involve a trusted reader and an untrusted reader, respectively. In order to avoid verifying some invalid evidences, our protocols complete the authentication of the verifier to the trusted reader and the verified tags before the verifier verifies the grouping-proof evidence. Each tag uses parallel mode to complete its signature to improve the efficiency of the protocols. Moreover, the activate-sleep mechanism and the filtering operation are proposed to effectively reduce the collision probability and computing load of tags. Our protocols complete the authentication to tags twice by a verifier and a trusted reader, respectively. They can resist various attacks such as eavesdropping, replay, trace, and desynchronization. The protocols are proven to be secure, flexible, and efficient. They only utilize some lightweight operations. Therefore, they are very suitable to the low-cost RFID systems.
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Leinenbach, Dirk y Elena Petrova. "Pervasive Compiler Verification – From Verified Programs to Verified Systems". Electronic Notes in Theoretical Computer Science 217 (julio de 2008): 23–40. http://dx.doi.org/10.1016/j.entcs.2008.06.040.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Špinar, Jindřich. "Nesiritide not verified". Cor et Vasa 52, n.º 11-12 (1 de noviembre de 2010): 764–65. http://dx.doi.org/10.33678/cor.2010.190.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

Joelsson, Adam C., Ashley S. Brown, Amrita Puri, Martin P. Keough, Benjamin J. Pascal, Zara E. Gaudioso, Adam E. Snook, Louis E. Leong y Nicholas A. Siciliano. "Veriflow® Campylobacter". Journal of AOAC INTERNATIONAL 97, n.º 3 (1 de mayo de 2014): 820–28. http://dx.doi.org/10.5740/jaoacint.13-349.

Texto completo
Resumen
Abstract Veriflow®Campylobacter is a molecular based assay for the presumptive and qualitative detection of the most common occurring foodborne Campylobacter species: C. jejuni and C. coli. The assay utilizes a PCR detection method coupled with a rapid, visual, flow-based assay that develops in 3 min post PCR amplification and requires only 24 h of non-specialized enrichment for maximum sensitivity. The Veriflow Campylobacter system eliminates the need for microaerobic chambers, gel electrophoresis or fluorophore based detection of target amplification, and does not require complex data analysis. This Performance Tested MethodSM validation study demonstrated the ability of the Veriflow method to detect naturally occurring Campylobacter from chicken carcass rinsates. In the reference comparison study, Chi-square and probability of detection analyses of two unpaired studies indicated that there was no significant difference between the Veriflow Campylobacter method and the U.S. Department of Agriculture (USDA)/Food Safety and Inspection Service (FSIS) reference method. There was no indication of false positive or false negative detection in the reference comparison study, and all 50 C. jejuni and C. coli strains were detected, while 35 nonspecific organisms were undetected in the exclusivity/ inclusivity study. The study results show that Veriflow Campylobacter is a sensitive, selective and robust assay for the detection of C. jejuni and C. coli in chicken carcass rinsates.
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

Klein, Gerwin y Tobias Nipkow. "Verified bytecode verifiers". Theoretical Computer Science 298, n.º 3 (abril de 2003): 583–626. http://dx.doi.org/10.1016/s0304-3975(02)00869-1.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

Brull, Sorin J. "Reverifying the verified". Journal of Clinical Anesthesia 5, n.º 3 (mayo de 1993): 261–62. http://dx.doi.org/10.1016/0952-8180(93)90033-b.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Soutar, Anne K. "Second receptor verified?" Nature 341, n.º 6238 (septiembre de 1989): 106–7. http://dx.doi.org/10.1038/341106a0.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Fares, Wassim H. "Orenitram . . . Not Verified". American Journal of Respiratory and Critical Care Medicine 191, n.º 6 (15 de marzo de 2015): 713–14. http://dx.doi.org/10.1164/rccm.201411-2082le.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Fitzgerald, Richard J. "Element 114 verified". Physics Today 62, n.º 11 (noviembre de 2009): 22. http://dx.doi.org/10.1063/1.3265226.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Topol, Eric J. "Nesiritide — Not Verified". New England Journal of Medicine 353, n.º 2 (14 de julio de 2005): 113–16. http://dx.doi.org/10.1056/nejmp058139.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

Leslie-Hurd, Joe. "Maintaining verified software". ACM SIGPLAN Notices 48, n.º 12 (31 de enero de 2014): 71–80. http://dx.doi.org/10.1145/2578854.2503787.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

Avigad, Jeremy y John Harrison. "Formally verified mathematics". Communications of the ACM 57, n.º 4 (abril de 2014): 66–75. http://dx.doi.org/10.1145/2591012.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

Emiliani, Cesare. "Milankovitch theory verified". Nature 364, n.º 6438 (agosto de 1993): 583–84. http://dx.doi.org/10.1038/364583a0.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

Linton, Alexa. "Voter verified ballots". ACM SIGCAS Computers and Society 36, n.º 4 (diciembre de 2006): 3. http://dx.doi.org/10.1145/1273261.1273264.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

Roeder, Tom, Rafael Pass y Fred B. Schneider. "Multi-Verifier Signatures". Journal of Cryptology 25, n.º 2 (29 de enero de 2011): 310–48. http://dx.doi.org/10.1007/s00145-010-9096-4.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

Shepherd, David. "Verified microcode design". Microprocessors and Microsystems 14, n.º 10 (diciembre de 1990): 623–30. http://dx.doi.org/10.1016/0141-9331(90)90037-v.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

Keyes, Ralph. "The Quote Verifier". Antioch Review 64, n.º 2 (2006): 256. http://dx.doi.org/10.2307/4614974.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

Nipkow, Tobias y Hauke Brinkop. "Amortized Complexity Verified". Journal of Automated Reasoning 62, n.º 3 (13 de marzo de 2018): 367–91. http://dx.doi.org/10.1007/s10817-018-9459-3.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

Rebner, Gabor, Michael Beer, Ekaterina Auer y Matthias Stein. "Verified stochastic methods". Soft Computing 17, n.º 8 (26 de febrero de 2013): 1415–23. http://dx.doi.org/10.1007/s00500-013-1009-7.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

Bohrer, Brandon, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen y André Platzer. "VeriPhy: verified controller executables from verified cyber-physical system models". ACM SIGPLAN Notices 53, n.º 4 (2 de diciembre de 2018): 617–30. http://dx.doi.org/10.1145/3296979.3192406.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Mitsch, Stefan y André Platzer. "ModelPlex: verified runtime validation of verified cyber-physical system models". Formal Methods in System Design 49, n.º 1-2 (18 de febrero de 2016): 33–74. http://dx.doi.org/10.1007/s10703-016-0241-z.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

Yen, Sung-Ming. "Cryptanalysis and repair of the multi-verifier signature with verifier specification". Computers & Security 15, n.º 6 (enero de 1996): 537–44. http://dx.doi.org/10.1016/s0167-4048(96)00015-6.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

Lin, Han-Yu. "ID-Based Non-Interactive Universal Designated Verifier Signature for Privacy-Preserving Applications". International Journal of Computer Theory and Engineering 7, n.º 5 (octubre de 2015): 389–93. http://dx.doi.org/10.7763/ijcte.2015.v7.991.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

Tabibi, Omid David y Nathan S. Netanyahu. "VERIFIED NULL-MOVE PRUNING". ICGA Journal 25, n.º 3 (1 de septiembre de 2002): 153–61. http://dx.doi.org/10.3233/icg-2002-25305.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

Ushida, Mebae, Yutaka Kawai, Kazuki Yoneyama y Kazuo Ohta. "Proxiable Designated Verifier Signature". Journal of Information Processing 19 (2011): 430–40. http://dx.doi.org/10.2197/ipsjjip.19.430.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

Hoare, C. A. R., Jayadev Misra, Gary T. Leavens y Natarajan Shankar. "The verified software initiative". ACM Computing Surveys 41, n.º 4 (octubre de 2009): 1–8. http://dx.doi.org/10.1145/1592434.1592439.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

Wang, Xiao-feng, Ting-ting Lin, Shang-ping Wang y Ya-ling Zhang. "Limited Confederate Verifier Signatures". Journal of Electronics & Information Technology 30, n.º 4 (11 de marzo de 2011): 991–94. http://dx.doi.org/10.3724/sp.j.1146.2006.01507.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

Harvey, Philip. "Vaunted, avriable, vexatious, verified". ANZTLA EJournal, n.º 38 (14 de mayo de 2019): 31–33. http://dx.doi.org/10.31046/anztla.v0i38.1421.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

Gardner, Philippa. "Verified trustworthy software systems". Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 375, n.º 2104 (4 de septiembre de 2017): 20150408. http://dx.doi.org/10.1098/rsta.2015.0408.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

Landsman, K. A., C. Figgatt, T. Schuster, N. M. Linke, B. Yoshida, N. Y. Yao y C. Monroe. "Verified quantum information scrambling". Nature 567, n.º 7746 (marzo de 2019): 61–65. http://dx.doi.org/10.1038/s41586-019-0952-6.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

Young, William D. "Verified program support environments". ACM SIGSOFT Software Engineering Notes 15, n.º 4 (septiembre de 1990): 147–49. http://dx.doi.org/10.1145/99571.99839.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Veriflex" para otros tipos de fuentes:
Tesis Libros
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía